mMonoid

const Monoid& ResMonomialSorter::mMonoid

private

Definition at line 129 of file res-monomial-sorter.hpp.

Referenced by ordered(), ResMonomialSorter(), setMonoms(), sort(), and toMonomial().