PolyBoRi: polybori::groebner::PolyEntry Class Reference

PolyBoRi

#include <pairs.h>

Public Member Functions
	PolyEntry (const Polynomial &p)
deg_type	ecart () const
void	recomputeInformation ()

Public Attributes
LiteralFactorization	literal_factors
Polynomial	p
Monomial	lm
wlen_type	weightedLength
len_type	length
deg_type	deg
deg_type	lmDeg
Exponent	lmExp
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(), deg, polybori::BooleExponent::deg(), polybori::BoolePolynomial::deg(), polybori::BoolePolynomial::eliminationLengthWithDegBound(), polybori::BooleMonomial::exp(), length, polybori::BoolePolynomial::length(), lm, lmDeg, lmExp, minimal, p, tail, tailVariables, usedVariables, polybori::BoolePolynomial::usedVariablesExp(), and weightedLength.

Member Function Documentation

deg_type polybori::groebner::PolyEntry::ecart ( ) const

inline

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

void polybori::groebner::PolyEntry::recomputeInformation ( )

References deg, polybori::BoolePolynomial::deg(), polybori::BoolePolynomial::eliminationLengthWithDegBound(), polybori::BoolePolynomial::lead(), length, polybori::BoolePolynomial::length(), literal_factors, lm, lmDeg, polybori::BoolePolynomial::lmDeg(), 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

len_type polybori::groebner::PolyEntry::length

Referenced by polybori::groebner::GroebnerStrategy::addGenerator(), PolyEntry(), polybori::groebner::GroebnerStrategy::propagate_step(), recomputeInformation(), polybori::groebner::reduce_complete(), 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().

Monomial polybori::groebner::PolyEntry::lm

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

deg_type polybori::groebner::PolyEntry::lmDeg

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

Exponent polybori::groebner::PolyEntry::lmExp

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

bool polybori::groebner::PolyEntry::minimal

Referenced by PolyEntry().

Polynomial polybori::groebner::PolyEntry::p

Referenced by polybori::groebner::GroebnerStrategy::addGenerator(), polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed(), PolyEntry(), polybori::groebner::GroebnerStrategy::propagate_step(), recomputeInformation(), polybori::groebner::reduce_complete(), 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: