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. More... | |
This class defines a facade for a given Strategy, which.
NewStrategy
like:class NewStrategy: public PairManagerFacade<NewStrategy> { definition of strategy };
|
inline |
|
inline |
|
inline |
|
inline |
PairManagerWithStrategy<strategy_type> polybori::groebner::PairManagerFacade< StrategyType >::pairs |
For compatibility reasons make this a public member.