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