polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat Member List

This is the complete list of members for polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat, including all inherited members.

LessUsedTailVariablesThenLessWeightedLengthInStrat(const GroebnerStrategy &strat)	polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat	[inline]
operator()(const Monomial &a, const Monomial &b) const	polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat	[inline]
strat	polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat