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