TermGrader Member List

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

_grades | TermGrader | private
_signs | TermGrader | private
getDegree(const Term &term) const | TermGrader |
getDegree(const Term &term, mpz_class &degree) const | TermGrader |
getDegree(const Term &term, const Projection &projection, mpz_class &degree) const | TermGrader |
getGrade(size_t var, Exponent exponent) const | TermGrader |
getGradeSign(size_t var) const | TermGrader |
getIncrementedDegree(const Term &term, const Projection &projection, mpz_class &degree) const | TermGrader |
getLargestLessThan2(size_t var, const mpz_class &value, bool strict=true) const | TermGrader |
getLargestLessThan2(size_t var, Exponent from, Exponent to, const mpz_class &value, bool strict=true) const | TermGrader |
getMaxExponent(size_t var) const | TermGrader |
getMaxIndexLessThan(size_t var, Exponent from, Exponent to, Exponent &index, const mpz_class &maxDegree) const | TermGrader |
getMinIndexLessThan(size_t var, Exponent from, Exponent to, Exponent &index, const mpz_class &maxDegree) const | TermGrader |
getUpperBound(const Term &divisor, const Term &dominator, mpz_class &bound) const | TermGrader |
getUpperBound(const Term &divisor, const Term &dominator) const | TermGrader |
getVarCount() const | TermGrader |
print(ostream &out) const | TermGrader |
TermGrader(const vector< mpz_class > &varDegrees, const TermTranslator &translator) | TermGrader |