Frobby
0.9.5
|
This is the complete list of members for ReverseSingleDegreeComparator, including all inherited members.
_var | ReverseSingleDegreeComparator | private |
_varCount | TermPredicate | private |
doPredicate(const Exponent *a, const Exponent *b) const | ReverseSingleDegreeComparator | inlineprivatevirtual |
getVarCount() const | TermPredicate | inline |
operator()(const Term &a, const Term &b) const | TermPredicate | inline |
operator()(const Term &a, const Exponent *b) const | TermPredicate | inline |
operator()(const Exponent *a, const Term &b) const | TermPredicate | inline |
operator()(const Exponent *a, const Exponent *b) const | TermPredicate | inline |
ReverseSingleDegreeComparator(size_t var, size_t varCount=0) | ReverseSingleDegreeComparator | |
setVarCount(size_t varCount) | TermPredicate | inline |
TermPredicate(size_t varCount=0) | TermPredicate | |
~TermPredicate() | TermPredicate | virtual |