#include <LessWeightedLengthInStrat.h>
Public Member Functions | |
| LessWeightedLengthInStrat (const ReductionStrategy &strat) | |
| bool | operator() (const Monomial &a, const Monomial &b) |
| bool | operator() (const Exponent &a, const Exponent &b) |
Public Attributes | |
| const ReductionStrategy * | strat |
| polybori::groebner::LessWeightedLengthInStrat::LessWeightedLengthInStrat | ( | const ReductionStrategy & | strat | ) | [inline] |
| bool polybori::groebner::LessWeightedLengthInStrat::operator() | ( | const Monomial & | a, | |
| const Monomial & | b | |||
| ) | [inline] |
| bool polybori::groebner::LessWeightedLengthInStrat::operator() | ( | const Exponent & | a, | |
| const Exponent & | b | |||
| ) | [inline] |
1.5.6