PolyBoRi
Public Member Functions | Public Attributes | List of all members
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 GroebnerStrategystrat
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

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: