PolyBoRi
|
This class extends PairManager
with a reference to a strategy.
More...
#include <PairManagerFacade.h>
Public Member Functions | |
PairManagerWithStrategy (const PairManager &mgr, StrategyType &strategy) | |
void | cleanTopByChainCriterion () |
void | introducePair (const Pair &pair) |
![]() | |
PairManager (const BoolePolyRing &ring) | |
void | appendHiddenGenerators (std::vector< Polynomial > &vec) |
void | introducePair (const Pair &pair, bool isHFE) |
Polynomial | nextSpoly (ReductionStrategy &gen) |
bool | pairSetEmpty () const |
template<class StrategyType > | |
void | cleanTopByChainCriterion (StrategyType &strat) |
Protected Member Functions | |
bool | isHFE () const |
![]() | |
Pair | popped () |
top() and pop() at once More... | |
Additional Inherited Members | |
![]() | |
typedef std::priority_queue < Pair, std::vector< PairE > , PairECompare > | queue_type |
![]() | |
PairStatusSet | status |
queue_type | queue |
This class extends PairManager
with a reference to a strategy.
It defines variants of PairManager::cleanTopByChainCriterion()
and PairManager::introducePair(pair)
with explicit statement of the strategy.
PairManagerFacade
without storing an additional reference. For now - to keep the interface constant - we continue to allow code like strat.pairs.cleanTopByChainCriterion()
and strat.pairs.introducePair(pair)
.
|
inline |
|
inline |
PairManagerFacade::cleanTopByChainCriterion()
instead Referenced by polybori::groebner::PairManagerWithStrategy< strategy_type >::cleanTopByChainCriterion().
|
inline |
PairManagerFacade::introducePair(pair)
instead Referenced by polybori::groebner::GroebnerStrategy::addGeneratorDelayed(), polybori::groebner::GroebnerStrategy::addVariablePairs(), polybori::groebner::PairManagerWithStrategy< strategy_type >::introducePair(), and polybori::groebner::GroebnerStrategy::normalPairsWithLast().
|
inlineprotected |