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 file:
Generated on Thu Aug 5 13:34:47 2010 for PolyBoRi by  doxygen 1.6.3