This class defines PairManager.
More...
#include <PairManager.h>
This class defines PairManager.
polybori::groebner::PairManager::PairManager |
( |
const BoolePolyRing & |
ring | ) |
|
|
inline |
void polybori::groebner::PairManager::appendHiddenGenerators |
( |
std::vector< Polynomial > & |
vec | ) |
|
|
inline |
template<class StrategyType >
void polybori::groebner::PairManager::cleanTopByChainCriterion |
( |
StrategyType & |
strat | ) |
|
|
inline |
void polybori::groebner::PairManager::introducePair |
( |
const Pair & |
pair, |
|
|
bool |
isHFE |
|
) |
| |
|
inline |
bool polybori::groebner::PairManager::pairSetEmpty |
( |
| ) |
const |
|
inline |
Pair polybori::groebner::PairManager::popped |
( |
| ) |
|
|
inlineprotected |
The documentation for this class was generated from the following file: