PolyBoRi
|
This class defines a facade for a given Strategy, which. More...
#include <PairManagerFacade.h>
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. |
This class defines a facade for a given Strategy, which.
NewStrategy
like:class NewStrategy: public PairManagerFacade<NewStrategy> { definition of strategy };
polybori::groebner::PairManagerFacade< StrategyType >::PairManagerFacade | ( | const BoolePolyRing & | ring | ) | [inline] |
polybori::groebner::PairManagerFacade< StrategyType >::PairManagerFacade | ( | const self & | rhs | ) | [inline] |
void polybori::groebner::PairManagerFacade< StrategyType >::cleanTopByChainCriterion | ( | ) | [inline] |
void polybori::groebner::PairManagerFacade< StrategyType >::introducePair | ( | const Pair & | pair | ) | [inline] |
PairManagerWithStrategy<strategy_type> polybori::groebner::PairManagerFacade< StrategyType >::pairs |
For compatibility reasons make this a public member.