GroebnerCriteria.h

Go to the documentation of this file.

// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************

#ifndef polybori_groebner_GroebnerCriteria_h_
#define polybori_groebner_GroebnerCriteria_h_

// include basic definitions
#include "groebner_defs.h"

#include "PairManager.h"


BEGIN_NAMESPACE_PBORIGB


template <class StrategyType>
class GroebnerCriteria {
  typedef GroebnerCriteria self;
  typedef StrategyType strategy_type;
public:
  GroebnerCriteria(const BoolePolyRing& ring):
    pairs(static_cast<strategy_type&>(*this), ring),
    chainCriterions(0), easyProductCriterions(0), extendedProductCriterions(0),
    variableChainCriterions(0)  {}

  GroebnerCriteria(const self& rhs):
    pairs(rhs.pairs),
    chainCriterions(rhs.chainCriterions),
    easyProductCriterions(rhs.easyProductCriterions),
    extendedProductCriterions(rhs.extendedProductCriterions),
    variableChainCriterions(rhs.extendedProductCriterions)  {

    pairs.strat = static_cast<strategy_type*>(this);
  }



public:
  PairManager pairs;

  int chainCriterions;
  int variableChainCriterions;
  int easyProductCriterions;
  int extendedProductCriterions;
};

END_NAMESPACE_PBORIGB

#endif /* polybori_groebner_GroebnerCriteria_h_ */

---