PolyBoRi
|
Public Member Functions | |
ChainVariableCriterion (const GroebnerStrategy &strat, int i, idx_type v) | |
bool | operator() (const Exponent &lmExp) |
Public Attributes | |
const GroebnerStrategy * | strat |
connect via pairs | |
int | i |
idx_type | v |
polybori::groebner::ChainVariableCriterion::ChainVariableCriterion | ( | const GroebnerStrategy & | strat, |
int | i, | ||
idx_type | v | ||
) | [inline] |
bool polybori::groebner::ChainVariableCriterion::operator() | ( | const Exponent & | lmExp | ) | [inline] |
Referenced by ChainVariableCriterion(), and operator()().
connect via pairs
Referenced by ChainVariableCriterion(), and operator()().
Referenced by ChainVariableCriterion(), and operator()().