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); }