polybori::groebner::ChainCriterion Class Reference

assumes that divisibility condition is fullfilled More...

Public Member Functions
	ChainCriterion (const GroebnerStrategy &strat, const int &i, const int &j)
bool	operator() (const Exponent &lmExp)

Public Attributes
const GroebnerStrategy *	strat
int	i
int	j

Detailed Description

assumes that divisibility condition is fullfilled

Constructor & Destructor Documentation

polybori::groebner::ChainCriterion::ChainCriterion ( const GroebnerStrategy &  strat, const int &  i, const int &  j  )

inline

References i, j, and strat.

Member Function Documentation

bool polybori::groebner::ChainCriterion::operator() ( const Exponent &  lmExp )

inline

References polybori::groebner::GroebnerStrategy::exp2Index, polybori::groebner::PairStatusSet::hasTRep(), i, j, polybori::groebner::GroebnerStrategy::pairs, polybori::groebner::PairManager::status, and strat.

Member Data Documentation

int polybori::groebner::ChainCriterion::i

Referenced by ChainCriterion(), and operator()().

int polybori::groebner::ChainCriterion::j

Referenced by ChainCriterion(), and operator()().

const GroebnerStrategy* polybori::groebner::ChainCriterion::strat

Todo:

: connect via vars

Referenced by ChainCriterion(), and operator()().

---

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

• groebner_alg.cc