PolyBoRi
|
This class defines LessCombinedManySizesInStrat. More...
#include <LessCombinedManySizesInStrat.h>
Public Member Functions | |
LessCombinedManySizesInStrat (GroebnerStrategy &strat) | |
bool | operator() (const Monomial &a, const Monomial &b) const |
Public Attributes | |
const GroebnerStrategy * | strat |
This class defines LessCombinedManySizesInStrat.
|
inline |
|
inline |
const GroebnerStrategy* polybori::groebner::LessCombinedManySizesInStrat::strat |