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. | |
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 |
polybori::groebner::CheckChainCriterion< StrategyType >::CheckChainCriterion | ( | strategy_type & | strategy, |
PairStatusSet & | status | ||
) | [inline] |
bool polybori::groebner::CheckChainCriterion< StrategyType >::checkPairCriteria | ( | const Exponent & | exp, |
int | i, | ||
int | j | ||
) | [inline, protected] |
bool polybori::groebner::CheckChainCriterion< StrategyType >::compute | ( | const IJPairData & | ij, |
const Exponent & | exp | ||
) | [inline, protected] |
References polybori::groebner::IJPairData::i, and polybori::groebner::IJPairData::j.
bool polybori::groebner::CheckChainCriterion< StrategyType >::compute | ( | const VariablePairData & | vp | ) | [inline, protected] |
bool polybori::groebner::CheckChainCriterion< StrategyType >::operator() | ( | const Pair & | current | ) | [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().