PolyBoRi
Public Types | Public Member Functions | Public Attributes | Protected Member Functions
polybori::groebner::PairManager Class Reference

This class defines PairManager. More...

#include <PairManager.h>

Inheritance diagram for polybori::groebner::PairManager:
polybori::groebner::PairManagerWithStrategy< strategy_type > polybori::groebner::PairManagerWithStrategy< StrategyType >

List of all members.

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

Detailed Description

This class defines PairManager.


Member Typedef Documentation

typedef std::priority_queue<Pair, std::vector<PairE>, PairECompare> polybori::groebner::PairManager::queue_type

Constructor & Destructor Documentation


Member Function Documentation

template<class StrategyType >
void polybori::groebner::PairManager::cleanTopByChainCriterion ( StrategyType &  strat) [inline]
void polybori::groebner::PairManager::introducePair ( const Pair pair,
bool  isHFE 
) [inline]

top() and pop() at once


Member Data Documentation


The documentation for this class was generated from the following file: