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

#include <groebner_alg.h>

List of all members.

Public Types

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

Public Member Functions

 PairManager (GroebnerStrategy &strat)
void appendHiddenGenerators (std::vector< Polynomial > &vec)
void introducePair (const Pair &p)
Polynomial nextSpoly (const PolyEntryVector &gen)
bool pairSetEmpty () const
void cleanTopByChainCriterion ()

Public Attributes

PairStatusSet status
GroebnerStrategystrat
queue_type queue

Protected Member Functions

void replacePair (int &i, int &j)

Member Typedef Documentation

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

Constructor & Destructor Documentation

polybori::groebner::PairManager::PairManager ( GroebnerStrategy strat) [inline]

Member Function Documentation

void polybori::groebner::PairManager::appendHiddenGenerators ( std::vector< Polynomial > &  vec)
void polybori::groebner::PairManager::cleanTopByChainCriterion ( )
void polybori::groebner::PairManager::introducePair ( const Pair p)
Polynomial polybori::groebner::PairManager::nextSpoly ( const PolyEntryVector gen)
bool polybori::groebner::PairManager::pairSetEmpty ( ) const
void polybori::groebner::PairManager::replacePair ( int &  i,
int &  j 
) [protected]

Member Data Documentation


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