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> PairManager::queue_type

Constructor & Destructor Documentation

PairManager::PairManager ( GroebnerStrategy strat  )  [inline]

Member Function Documentation

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

References queue.

Referenced by cleanTopByChainCriterion(), and nextSpoly().

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

Member Data Documentation


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

Generated on 25 Oct 2009 for PolyBoRi by  doxygen 1.6.1