This class defines LessWeightedLengthInStratModified.
More...
#include <LessWeightedLengthInStratModified.h>
This class defines LessWeightedLengthInStratModified.
- Todo:
- : in many cases, indices should be precalculated
polybori::groebner::LessWeightedLengthInStratModified::LessWeightedLengthInStratModified |
( |
const ReductionStrategy & |
strat | ) |
|
|
inline |
bool polybori::groebner::LessWeightedLengthInStratModified::operator() |
( |
const Monomial & |
a, |
|
|
const Monomial & |
b |
|
) |
| |
|
inline |
bool polybori::groebner::LessWeightedLengthInStratModified::operator() |
( |
const Exponent & |
a, |
|
|
const Exponent & |
b |
|
) |
| |
|
inline |
const ReductionStrategy* polybori::groebner::LessWeightedLengthInStratModified::strat |
The documentation for this class was generated from the following file: