TranslatedIdealComparator Member List

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

_translator	TranslatedIdealComparator	private
operator()(const Ideal &a, const Ideal &b) const	TranslatedIdealComparator	inline
operator()(const Ideal *a, const Ideal *b) const	TranslatedIdealComparator	inline
TranslatedIdealComparator(TermTranslator &translator)	TranslatedIdealComparator