Frobby  0.9.0
TermGrader Member List

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

_gradesTermGraderprivate
_signsTermGraderprivate
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