#include <groebner_alg.h>
List of all members.
Constructor & Destructor Documentation
polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat::LessUsedTailVariablesThenLessWeightedLengthInStrat |
( |
const GroebnerStrategy & |
strat | ) |
[inline] |
Member Function Documentation
bool polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat::operator() |
( |
const Monomial & |
a, |
|
|
const Monomial & |
b |
|
) |
| const [inline] |
Member Data Documentation
The documentation for this class was generated from the following file: