mResMonoid

const ResMonoid& ResMonomialSorter::mResMonoid

private

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

Referenced by ResMonomialSorter(), and toMonomial().