PolyBoRi
|
This class defines CheckChainCriterion. More...
#include <CheckChainCriterion.h>
Public Types | |
typedef StrategyType | strategy_type |
Public Member Functions | |
CheckChainCriterion (strategy_type &strategy, PairStatusSet &status) | |
bool | operator() (const Pair ¤t) |
Clean up current and return whether it has a T-representation. More... | |
Protected Member Functions | |
bool | compute (const IJPairData &ij, const Exponent &exp) |
bool | compute (const VariablePairData &vp) |
bool | checkPairCriteria (const Exponent &exp, int i, int j) |
This class defines CheckChainCriterion.
typedef StrategyType polybori::groebner::CheckChainCriterion< StrategyType >::strategy_type |
|
inline |
|
inlineprotected |
|
inlineprotected |
References polybori::groebner::IJPairData::i, and polybori::groebner::IJPairData::j.
|
inlineprotected |
|
inline |
Clean up current
and return whether it has a T-representation.
References polybori::groebner::PairE::getType(), polybori::groebner::IJ_PAIR, polybori::groebner::PairE::ijPair(), polybori::groebner::PairE::lm, polybori::groebner::VARIABLE_PAIR, and polybori::groebner::PairE::variablePair().