Frobby  0.9.0
TranslatedIdealComparator Member List

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

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