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

References queue.

Referenced by cleanTopByChainCriterion(), and nextSpoly().

void polybori::groebner::PairManager::replacePair ( int &  i,
int &  j 
) [protected]


Member Data Documentation


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

Generated on Thu Mar 5 08:43:20 2009 for PolyBoRi by  doxygen 1.5.8