Frobby  0.9.0
ReverseLexComparator Member List

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

doPredicate(const Exponent *a, const Exponent *b) const ReverseLexComparatorinlineprivatevirtual
getVarCount() const TermPredicateinline
operator()(const Term &a, const Term &b) const TermPredicateinline
operator()(const Term &a, const Exponent *b) const TermPredicateinline
operator()(const Exponent *a, const Term &b) const TermPredicateinline
operator()(const Exponent *a, const Exponent *b) const TermPredicateinline
ReverseLexComparator(size_t varCount=0)ReverseLexComparator
setVarCount(size_t varCount)TermPredicateinline
staticGetName()ReverseLexComparatorstatic
TermPredicate(size_t varCount=0)TermPredicate
~TermPredicate()TermPredicatevirtual