Frobby  0.9.5
SingleDegreeComparator Member List

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

_varSingleDegreeComparatorprivate
_varCountTermPredicateprivate
doPredicate(const Exponent *a, const Exponent *b) constSingleDegreeComparatorinlineprivatevirtual
getVarCount() constTermPredicateinline
operator()(const Term &a, const Term &b) constTermPredicateinline
operator()(const Term &a, const Exponent *b) constTermPredicateinline
operator()(const Exponent *a, const Term &b) constTermPredicateinline
operator()(const Exponent *a, const Exponent *b) constTermPredicateinline
setVarCount(size_t varCount)TermPredicateinline
SingleDegreeComparator(size_t var, size_t varCount=0)SingleDegreeComparator
TermPredicate(size_t varCount=0)TermPredicate
~TermPredicate()TermPredicatevirtual