PolyBoRi
Public Types | Public Member Functions | Protected Member Functions | List of all members
polybori::groebner::CheckChainCriterion< StrategyType > Class Template Reference

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 &current)
 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)
 

Detailed Description

template<class StrategyType>
class polybori::groebner::CheckChainCriterion< StrategyType >

This class defines CheckChainCriterion.

Member Typedef Documentation

template<class StrategyType>
typedef StrategyType polybori::groebner::CheckChainCriterion< StrategyType >::strategy_type

Constructor & Destructor Documentation

template<class StrategyType>
polybori::groebner::CheckChainCriterion< StrategyType >::CheckChainCriterion ( strategy_type strategy,
PairStatusSet status 
)
inline

Member Function Documentation

template<class StrategyType>
bool polybori::groebner::CheckChainCriterion< StrategyType >::checkPairCriteria ( const Exponent exp,
int  i,
int  j 
)
inlineprotected
template<class StrategyType>
bool polybori::groebner::CheckChainCriterion< StrategyType >::compute ( const IJPairData ij,
const Exponent exp 
)
inlineprotected
template<class StrategyType>
bool polybori::groebner::CheckChainCriterion< StrategyType >::compute ( const VariablePairData vp)
inlineprotected
template<class StrategyType>
bool polybori::groebner::CheckChainCriterion< StrategyType >::operator() ( const Pair current)
inline

The documentation for this class was generated from the following file: