17 #ifndef polybori_groebner_PairManagerFacade_h_
18 #define polybori_groebner_PairManagerFacade_h_
40 template <
class StrategyType>
49 using PairManager::cleanTopByChainCriterion;
58 using PairManager::introducePair;
61 bool isHFE()
const {
return m_strategy.optHFE; }
64 StrategyType& m_strategy;
78 template <
class StrategyType>
81 typedef StrategyType strategy_type;
89 pairs(rhs.pairs, get()) { }
98 bool isHFE()
const {
return get().optHFE; }
99 strategy_type&
get() {
return static_cast<strategy_type&
>(*this); }
void introducePair(const Pair &pair)
Definition: PairManagerFacade.h:92
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and v...
Definition: BoolePolyRing.h:40
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
This class defines PairE.
Definition: PairE.h:28
This class defines PairManager.
Definition: PairManager.h:37
void introducePair(const Pair &pair)
Definition: PairManagerFacade.h:55
void cleanTopByChainCriterion()
Definition: PairManagerFacade.h:52
PairManagerWithStrategy< strategy_type > pairs
For compatibility reasons make this a public member.
Definition: PairManagerFacade.h:95
This class defines a facade for a given Strategy, which.
Definition: PairManagerFacade.h:79
PairManagerFacade(const self &rhs)
Definition: PairManagerFacade.h:88
This class extends PairManager with a reference to a strategy.
Definition: PairManagerFacade.h:41
PairManagerWithStrategy(const PairManager &mgr, StrategyType &strategy)
Definition: PairManagerFacade.h:45
bool isHFE() const
Definition: PairManagerFacade.h:61
PairManagerFacade(const BoolePolyRing &ring)
Definition: PairManagerFacade.h:85
void cleanTopByChainCriterion()
Definition: PairManagerFacade.h:91