polybori::groebner::GroebnerCriteria< StrategyType > Class Template Reference

This class defines GroebnerCriteria. More...

#include <GroebnerCriteria.h>

List of all members.

Public Member Functions

 GroebnerCriteria (const BoolePolyRing &ring)
 Default constructor.
 GroebnerCriteria (const self &rhs)

Public Attributes

public available parameters
PairManager pairs
int chainCriterions
int variableChainCriterions
int easyProductCriterions
int extendedProductCriterions


Detailed Description

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

This class defines GroebnerCriteria.

Constructor & Destructor Documentation

template<class StrategyType>
polybori::groebner::GroebnerCriteria< StrategyType >::GroebnerCriteria ( const BoolePolyRing ring  )  [inline]

Default constructor.

template<class StrategyType>
polybori::groebner::GroebnerCriteria< StrategyType >::GroebnerCriteria ( const self rhs  )  [inline]


Member Data Documentation

template<class StrategyType>
PairManager polybori::groebner::GroebnerCriteria< StrategyType >::pairs

template<class StrategyType>
int polybori::groebner::GroebnerCriteria< StrategyType >::chainCriterions

template<class StrategyType>
int polybori::groebner::GroebnerCriteria< StrategyType >::variableChainCriterions

template<class StrategyType>
int polybori::groebner::GroebnerCriteria< StrategyType >::easyProductCriterions

template<class StrategyType>
int polybori::groebner::GroebnerCriteria< StrategyType >::extendedProductCriterions


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

Generated on Wed Jan 30 16:39:54 2013 for PolyBoRi by  doxygen 1.5.6