PolyBoRi
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::LessUsedTailVariablesThenLessWeightedLengthInStratinline
operator()(const Monomial &a, const Monomial &b) const polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStratinline
stratpolybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat