PolyBoRi
|
This class defines LessWeightedLengthInStratModified. More...
#include <LessWeightedLengthInStratModified.h>
Public Member Functions | |
LessWeightedLengthInStratModified (const ReductionStrategy &strat) | |
bool | operator() (const Monomial &a, const Monomial &b) |
bool | operator() (const Exponent &a, const Exponent &b) |
Public Attributes | |
const ReductionStrategy * | strat |
This class defines LessWeightedLengthInStratModified.
polybori::groebner::LessWeightedLengthInStratModified::LessWeightedLengthInStratModified | ( | const ReductionStrategy & | strat | ) | [inline] |
bool polybori::groebner::LessWeightedLengthInStratModified::operator() | ( | const Monomial & | a, |
const Monomial & | b | ||
) | [inline] |
References polybori::groebner::wlen_literal_exceptioned().
bool polybori::groebner::LessWeightedLengthInStratModified::operator() | ( | const Exponent & | a, |
const Exponent & | b | ||
) | [inline] |
References polybori::groebner::wlen_literal_exceptioned().