| LessEcartThenLessWeightedLengthInStrat(const GroebnerStrategy &strat) | polybori::groebner::LessEcartThenLessWeightedLengthInStrat | [inline] |
| operator()(const Monomial &a, const Monomial &b) | polybori::groebner::LessEcartThenLessWeightedLengthInStrat | [inline] |
| operator()(const Exponent &a, const Exponent &b) | polybori::groebner::LessEcartThenLessWeightedLengthInStrat | [inline] |
| strat | polybori::groebner::LessEcartThenLessWeightedLengthInStrat |
1.5.6