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

This class defines a facade for a given Strategy, which. More...

#include <PairManagerFacade.h>

Inheritance diagram for polybori::groebner::PairManagerFacade< StrategyType >:

List of all members.

Public Member Functions
	PairManagerFacade (const BoolePolyRing &ring)
	PairManagerFacade (const self &rhs)
void	cleanTopByChainCriterion ()
void	introducePair (const Pair &pair)
Public Attributes
PairManagerWithStrategy < strategy_type >	pairs
	For compatibility reasons make this a public member.

---

Detailed Description

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

This class defines a facade for a given Strategy, which.

Note:

Use it as an inheritance base for - say - NewStrategy like:

class NewStrategy: public PairManagerFacade<NewStrategy> { definition of strategy };

---

Constructor & Destructor Documentation

template<class StrategyType>

polybori::groebner::PairManagerFacade< StrategyType >::PairManagerFacade

(

const BoolePolyRing &

ring

)

[inline]

template<class StrategyType>

polybori::groebner::PairManagerFacade< StrategyType >::PairManagerFacade

(

const self &

rhs

)

[inline]

---

Member Function Documentation

template<class StrategyType>

void polybori::groebner::PairManagerFacade< StrategyType >::cleanTopByChainCriterion

(

)

[inline]

template<class StrategyType>

void polybori::groebner::PairManagerFacade< StrategyType >::introducePair

(

const Pair &

pair

)

[inline]

---

Member Data Documentation

template<class StrategyType>

PairManagerWithStrategy<strategy_type> polybori::groebner::PairManagerFacade< StrategyType >::pairs

For compatibility reasons make this a public member.

Referenced by polybori::groebner::GroebnerStrategy::addGeneratorDelayed(), polybori::groebner::GroebnerStrategy::addVariablePairs(), polybori::groebner::GroebnerStrategy::allGenerators(), polybori::groebner::GroebnerStrategy::normalPairsWithLast(), and polybori::groebner::GroebnerStrategy::symmGB_F2().

---

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

• PairManagerFacade.h