mArena

memt::Arena ResMonomialSorter::mArena

private

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

Referenced by setMonoms(), and toMonomial().