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

operator()(const TermList a, const TermList b) const	TermListGreaterApproxSize	inline
operator()(const TermList a, const TermList b) const	TermListGreaterApproxSize	inline