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 |