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
GroebnerStrategy *	strat
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

)

References PBORINAME::groebner::DELAYED_PAIR, and queue.

void polybori::groebner::PairManager::cleanTopByChainCriterion

(

)

Todo:

implement this

References PBORINAME::groebner::IJ_PAIR, polybori::BooleSet::intersect(), and PBORINAME::groebner::VARIABLE_PAIR.

void polybori::groebner::PairManager::introducePair

(

const Pair &

p

)

Referenced by polybori::groebner::GroebnerStrategy::addVariablePairs(), and polybori::groebner::GroebnerStrategy::treatNormalPairs().

Polynomial polybori::groebner::PairManager::nextSpoly

(

const PolyEntryVector &

gen

)

References polybori::spoly().

bool polybori::groebner::PairManager::pairSetEmpty

(

)

const

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

---

Member Data Documentation

queue_type polybori::groebner::PairManager::queue

Referenced by appendHiddenGenerators().

PairStatusSet polybori::groebner::PairManager::status

Referenced by polybori::groebner::HasTRepOrExtendedProductCriterion::operator()().

GroebnerStrategy* polybori::groebner::PairManager::strat

---

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

• groebner_alg.h
• groebner_alg.cc