polybori::groebner::PolyEntryBase Class Reference

This class defines the base of PolyEntry. More...

#include <PolyEntryBase.h>

Inheritance diagram for polybori::groebner::PolyEntryBase:

List of all members.

Public Member Functions
	PolyEntryBase (const Polynomial &poly)
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
bool	minimal
std::set< idx_type >	vPairCalculated
	set of variables with which pair was calculated

---

Detailed Description

This class defines the base of PolyEntry.

---

Constructor & Destructor Documentation

polybori::groebner::PolyEntryBase::PolyEntryBase

(

const Polynomial &

poly

)

[inline]

References polybori::BoolePolynomial::eliminationLengthWithDegBound(), and polybori::BoolePolynomial::usedVariablesExp().

---

Member Data Documentation

LiteralFactorization polybori::groebner::PolyEntryBase::literal_factors

Referenced by polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed(), polybori::groebner::GroebnerStrategy::addVariablePairs(), polybori::groebner::extended_product_criterion(), polybori::groebner::LeadingTerms11::isCompatible(), polybori::groebner::LeadingTerms00::isCompatible(), polybori::groebner::PolyEntry::recomputeInformation(), polybori::groebner::ReductionTerms::related(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().

Polynomial polybori::groebner::PolyEntryBase::p

Referenced by polybori::groebner::GroebnerStrategy::add4ImplDelayed(), polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed(), polybori::groebner::MonomialTerms::isCompatible(), polybori::groebner::MonomialPlusOneTerms::isCompatible(), polybori::groebner::LLReductor::isCompatible(), polybori::groebner::PolyFromPolyEntry::operator()(), polybori::groebner::CountCriterion::operator()(), polybori::groebner::PolyEntry::propagatableBy(), polybori::groebner::PolyEntry::recomputeInformation(), polybori::groebner::reduce_by_small_entry(), polybori::groebner::reduce_complete(), polybori::groebner::ReductionTerms::related(), polybori::groebner::ReductionStrategy::setupSetsForElement(), polybori::groebner::GroebnerStrategy::treatVariablePairs(), and polybori::groebner::LLReductor::update().

Monomial polybori::groebner::PolyEntryBase::lead

Referenced by polybori::groebner::GroebnerStrategy::addVariablePairs(), polybori::groebner::extended_product_criterion(), polybori::groebner::PolyEntryIndices::insert(), polybori::groebner::MonomialTerms::isCompatible(), polybori::groebner::LLReductor::isCompatible(), polybori::groebner::ReductionStrategy::llReduce(), polybori::groebner::PolyEntryPtrLmLess::operator()(), polybori::groebner::CountCriterion::operator()(), polybori::groebner::PolyEntry::recomputeInformation(), polybori::groebner::reduce_by_small_entry(), polybori::groebner::ReductionTerms::related(), polybori::groebner::ReductionStrategy::setupSetsForElement(), polybori::groebner::TermsFacade< polybori::groebner::LeadingTerms11 >::update(), and polybori::groebner::PolyEntryIndices::update().

wlen_type polybori::groebner::PolyEntryBase::weightedLength

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

len_type polybori::groebner::PolyEntryBase::length

Referenced by polybori::groebner::MonomialTerms::isCompatible(), polybori::groebner::MonomialPlusOneTerms::isCompatible(), polybori::groebner::PolyEntry::recomputeInformation(), polybori::groebner::reduce_by_small_entry(), polybori::groebner::reduce_complete(), polybori::groebner::should_propagate(), and polybori::groebner::wlen_literal_exceptioned().

deg_type polybori::groebner::PolyEntryBase::deg

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

deg_type polybori::groebner::PolyEntryBase::leadDeg

Referenced by polybori::groebner::LLReductor::isCompatible(), polybori::groebner::CountCriterion::operator()(), and polybori::groebner::PolyEntry::recomputeInformation().

Exponent polybori::groebner::PolyEntryBase::leadExp

Referenced by polybori::groebner::GroebnerStrategy::add4ImplDelayed(), polybori::groebner::GroebnerStrategy::addVariablePairs(), polybori::groebner::PolyEntryIndices::insert(), polybori::groebner::PolyEntry::propagatableBy(), polybori::groebner::reduce_complete(), polybori::groebner::ReductionStrategy::setupSetsForElement(), and polybori::groebner::PolyEntryIndices::update().

Monomial polybori::groebner::PolyEntryBase::gcdOfTerms

Exponent polybori::groebner::PolyEntryBase::usedVariables

Referenced by polybori::groebner::GroebnerStrategy::add4ImplDelayed(), polybori::groebner::IsVariableOfIndex::operator()(), polybori::groebner::CountCriterion::operator()(), polybori::groebner::PolyEntry::recomputeInformation(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().

Exponent polybori::groebner::PolyEntryBase::tailVariables

Referenced by polybori::groebner::ReductionStrategy::llReduce(), and polybori::groebner::PolyEntry::recomputeInformation().

Polynomial polybori::groebner::PolyEntryBase::tail

Referenced by polybori::groebner::ReductionStrategy::llReduce(), and polybori::groebner::PolyEntry::recomputeInformation().

bool polybori::groebner::PolyEntryBase::minimal

Referenced by polybori::groebner::ReductionStrategy::llReduce().

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

set of variables with which pair was calculated

---

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

• PolyEntryBase.h