BigPolynomial Member List

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

_coefTerms	BigPolynomial	private
_names	BigPolynomial	private
add(const mpz_class &coef, const vector< mpz_class > term)	BigPolynomial
add(const mpz_class &coef, const Term &term, const TermTranslator &translator)	BigPolynomial
BigPolynomial()	BigPolynomial
BigPolynomial(const VarNames &names)	BigPolynomial
clear()	BigPolynomial
clearAndSetNames(const VarNames &names)	BigPolynomial
compareCoefTermsReverseLex(const BigCoefTerm &a, const BigCoefTerm &b)	BigPolynomial	privatestatic
const_iterator typedef	BigPolynomial	private
getCoef(size_t index) const	BigPolynomial
getLastCoef()	BigPolynomial
getLastTerm()	BigPolynomial
getNames() const	BigPolynomial
getTerm(size_t index) const	BigPolynomial
getTermCount() const	BigPolynomial
getVarCount() const	BigPolynomial
iterator typedef	BigPolynomial	private
newLastTerm()	BigPolynomial
operator==(const BigPolynomial &poly) const	BigPolynomial
print(FILE *file) const	BigPolynomial
print(ostream &out) const	BigPolynomial
renameVars(const VarNames &names)	BigPolynomial
sortTermsReverseLex()	BigPolynomial
sortVariables()	BigPolynomial