AMulet 2.0
AIG Multiplier Verification Tool
Polynomial Member List

This is the complete list of members for Polynomial, including all inherited members.

copy() const Polynomial
get_idx() const Polynomialinline
get_level() const Polynomialinline
get_lt() const Polynomialinline
idxPolynomialprivate
is_constant_one_poly() const Polynomial
is_constant_zero_poly() const Polynomial
levelPolynomialprivate
min_term_size() const Polynomial
monPolynomialprivate
mon_begin() const Polynomialinline
mon_end() const Polynomialinline
mon_push_back(Monomial *m)Polynomialinline
mon_push_front(Monomial *m)Polynomialinline
Polynomial()Polynomial
Polynomial(int _idx)Polynomial
print(FILE *file, bool end=1) const Polynomial
set_idx(int idx_)Polynomialinline
set_level(int level_)Polynomialinline
~Polynomial()Polynomial