◆ ResMonomialSorter()

ResMonomialSorter::ResMonomialSorter	(	const Monoid &	M,
		const ResMonoid &	resMonoid,
		const ResSchreyerOrder &	S,
		const std::vector< res_packed_monomial > &	columns )

inline

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

                     :
    mMonoid(M),
    mResMonoid(resMonoid),
    mSchreyerOrder(S),
    mColumns(columns),
    mNumComparisons(0)
  {
  }