mMonoms

std::vector<int*> ResMonomialSorter::mMonoms

private

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

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