PolyBoRi
|
This class defines PairManager. More...
#include <PairManager.h>
Public Types | |
typedef std::priority_queue< Pair, std::vector< PairE >, PairECompare > | queue_type |
Public Member Functions | |
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) |
Public Attributes | |
PairStatusSet | status |
queue_type | queue |
Protected Member Functions | |
Pair | popped () |
top() and pop() at once More... | |
This class defines PairManager.
typedef std::priority_queue<Pair, std::vector<PairE>, PairECompare> polybori::groebner::PairManager::queue_type |
|
inline |
|
inline |
Referenced by polybori::groebner::GroebnerStrategy::allGenerators().
|
inline |
|
inline |
|
inline |
|
inline |
|
inlineprotected |
top()
and pop()
at once
queue_type polybori::groebner::PairManager::queue |
Referenced by polybori::groebner::GroebnerStrategy::symmGB_F2().
PairStatusSet polybori::groebner::PairManager::status |