ReverseLexComparator Member List

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

_varCount	TermPredicate	private
doPredicate(const Exponent *a, const Exponent *b) const	ReverseLexComparator	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
ReverseLexComparator(size_t varCount=0)	ReverseLexComparator
setVarCount(size_t varCount)	TermPredicate	inline
staticGetName()	ReverseLexComparator	static
TermPredicate(size_t varCount=0)	TermPredicate
~TermPredicate()	TermPredicate	virtual