HashPolynomial Member List

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

_terms | HashPolynomial | private
_varCount | HashPolynomial | private
add(const mpz_class &coef, const Term &term) | HashPolynomial |
add(bool plus, const Term &term) | HashPolynomial |
clearAndSetVarCount(size_t varCount) | HashPolynomial |
feedTo(const TermTranslator &translator, CoefBigTermConsumer &consumer, bool inCanonicalOrder) const | HashPolynomial |
getTermCount() const | HashPolynomial |
HashPolynomial(size_t varCount=0) | HashPolynomial |
TermMap typedef | HashPolynomial | private