|
PolyBoRi
|
This class defines ChainVariableCriterion. More...
#include <ChainVariableCriterion.h>
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 More... | |
| int | i |
| idx_type | v |
This class defines ChainVariableCriterion.
|
inline |
|
inline |
| int polybori::groebner::ChainVariableCriterion::i |
| const GroebnerStrategy* polybori::groebner::ChainVariableCriterion::strat |
connect via pairs
| idx_type polybori::groebner::ChainVariableCriterion::v |
1.8.9.1