#include <groebner_alg.h>
Public Member Functions | |
LessUsedTailVariablesThenLessWeightedLengthInStrat (const GroebnerStrategy &strat) | |
bool | operator() (const Monomial &a, const Monomial &b) const |
Public Attributes | |
const GroebnerStrategy * | strat |
LessUsedTailVariablesThenLessWeightedLengthInStrat::LessUsedTailVariablesThenLessWeightedLengthInStrat | ( | const GroebnerStrategy & | strat | ) | [inline] |
bool LessUsedTailVariablesThenLessWeightedLengthInStrat::operator() | ( | const Monomial & | a, | |
const Monomial & | b | |||
) | const [inline] |
References GroebnerStrategy::generators, GroebnerStrategy::lm2Index, and strat.
Referenced by operator()().