Frobby
0.9.5
|
This is the complete list of members for TermPredicate, including all inherited members.
_varCount | TermPredicate | private |
doPredicate(const Exponent *a, const Exponent *b) const =0 | TermPredicate | privatepure virtual |
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 |
setVarCount(size_t varCount) | TermPredicate | inline |
TermPredicate(size_t varCount=0) | TermPredicate | |
~TermPredicate() | TermPredicate | virtual |