Frobby  0.9.0
TranslatedReverseLexComparator Member List

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

_translatorTranslatedReverseLexComparatorprivate
operator()(const Term &a, const Term &b) const TranslatedReverseLexComparator
operator()(const Exponent *a, const Exponent *b) const TranslatedReverseLexComparator
TranslatedReverseLexComparator(const TermTranslator &translator)TranslatedReverseLexComparatorinline