polybori::groebner::PolyEntry Class Reference

#include <pairs.h>

List of all members.

Public Member Functions
	PolyEntry (const Polynomial &p)
	PolyEntry ()
bool	operator== (const PolyEntry &other) const
deg_type	ecart () const
void	recomputeInformation ()
Public Attributes
LiteralFactorization	literal_factors
Polynomial	p
Monomial	lead
wlen_type	weightedLength
len_type	length
deg_type	deg
deg_type	leadDeg
Exponent	leadExp
Monomial	gcdOfTerms
Exponent	usedVariables
Exponent	tailVariables
Polynomial	tail
std::set< idx_type >	vPairCalculated
	set of variables with which pair was calculated
bool	minimal

---

Constructor & Destructor Documentation

polybori::groebner::PolyEntry::PolyEntry

(

const Polynomial &

p

)

References polybori::BoolePolynomial::boundedLead(), polybori::BooleExponent::deg(), polybori::BoolePolynomial::deg(), deg, polybori::BoolePolynomial::eliminationLengthWithDegBound(), polybori::BooleMonomial::exp(), lead, leadDeg, leadExp, polybori::BoolePolynomial::length(), length, minimal, p, tail, tailVariables, usedVariables, polybori::BoolePolynomial::usedVariablesExp(), and weightedLength.

polybori::groebner::PolyEntry::PolyEntry

(

)

[inline]

---

Member Function Documentation

deg_type polybori::groebner::PolyEntry::ecart

(

)

const [inline]

Referenced by polybori::groebner::should_propagate().

bool polybori::groebner::PolyEntry::operator==

(

const PolyEntry &

other

)

const [inline]

References p.

void polybori::groebner::PolyEntry::recomputeInformation

(

)

References polybori::BoolePolynomial::deg(), deg, polybori::BoolePolynomial::eliminationLengthWithDegBound(), polybori::BoolePolynomial::lead(), lead, polybori::BoolePolynomial::leadDeg(), leadDeg, polybori::BoolePolynomial::length(), length, literal_factors, polybori::BooleEnv::ordering(), p, tail, tailVariables, usedVariables, polybori::BoolePolynomial::usedVariablesExp(), and weightedLength.

---

Member Data Documentation

deg_type polybori::groebner::PolyEntry::deg

Referenced by PolyEntry(), recomputeInformation(), polybori::groebner::should_propagate(), and polybori::groebner::wlen_literal_exceptioned().

Monomial polybori::groebner::PolyEntry::gcdOfTerms

Monomial polybori::groebner::PolyEntry::lead

Referenced by polybori::groebner::GroebnerStrategy::addGenerator(), PolyEntry(), polybori::groebner::GroebnerStrategy::propagate_step(), recomputeInformation(), polybori::groebner::ReductionStrategy::setupSetsForLastElement(), polybori::groebner::GroebnerStrategy::treat_m_p_1_case(), and polybori::groebner::GroebnerStrategy::treatNormalPairs().

deg_type polybori::groebner::PolyEntry::leadDeg

Referenced by PolyEntry(), and recomputeInformation().

Exponent polybori::groebner::PolyEntry::leadExp

Referenced by PolyEntry(), polybori::groebner::GroebnerStrategy::propagate_step(), polybori::groebner::reduce_complete(), polybori::groebner::ReductionStrategy::setupSetsForLastElement(), polybori::groebner::GroebnerStrategy::treatNormalPairs(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().

len_type polybori::groebner::PolyEntry::length

Referenced by PolyEntry(), polybori::groebner::GroebnerStrategy::propagate_step(), recomputeInformation(), polybori::groebner::reduce_complete(), polybori::groebner::ReductionStrategy::setupSetsForLastElement(), polybori::groebner::should_propagate(), polybori::groebner::GroebnerStrategy::treat_m_p_1_case(), and polybori::groebner::wlen_literal_exceptioned().

LiteralFactorization polybori::groebner::PolyEntry::literal_factors

Referenced by polybori::groebner::GroebnerStrategy::addGenerator(), polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed(), recomputeInformation(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().

bool polybori::groebner::PolyEntry::minimal

Referenced by PolyEntry().

Polynomial polybori::groebner::PolyEntry::p

Referenced by polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed(), operator==(), PolyEntry(), polybori::groebner::GroebnerStrategy::propagate_step(), recomputeInformation(), polybori::groebner::reduce_complete(), polybori::groebner::ReductionStrategy::setupSetsForLastElement(), polybori::groebner::GroebnerStrategy::treat_m_p_1_case(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().

Polynomial polybori::groebner::PolyEntry::tail

Referenced by PolyEntry(), and recomputeInformation().

Exponent polybori::groebner::PolyEntry::tailVariables

Referenced by PolyEntry(), and recomputeInformation().

Exponent polybori::groebner::PolyEntry::usedVariables

Referenced by PolyEntry(), recomputeInformation(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().

std::set<idx_type> polybori::groebner::PolyEntry::vPairCalculated

set of variables with which pair was calculated

wlen_type polybori::groebner::PolyEntry::weightedLength

Referenced by polybori::groebner::ShorterEliminationLengthModified::operator()(), PolyEntry(), recomputeInformation(), and polybori::groebner::wlen_literal_exceptioned().

---

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

• pairs.h
• groebner_alg.cc