Frobby  0.9.5
TranslatedIdealComparator Member List

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

_translatorTranslatedIdealComparatorprivate
operator()(const Ideal &a, const Ideal &b) constTranslatedIdealComparatorinline
operator()(const Ideal *a, const Ideal *b) constTranslatedIdealComparatorinline
TranslatedIdealComparator(TermTranslator &translator)TranslatedIdealComparator