polybori::groebner::PolyEntry Class Reference

This class defines PolyEntry. More...

#include <PolyEntry.h>

Inheritance diagram for polybori::groebner::PolyEntry:

List of all members.

Public Member Functions
	PolyEntry (const Polynomial &p)
bool	operator== (const self &other) const
self &	operator= (const self &rhs)
self &	operator= (const Polynomial &rhs)
deg_type	ecart () const
void	recomputeInformation ()
void	markVariablePairsCalculated ()
bool	propagatableBy (const PolyEntry &other) const
bool	isSingleton () const

---

Detailed Description

This class defines PolyEntry.

---

Constructor & Destructor Documentation

polybori::groebner::PolyEntry::PolyEntry

(

const Polynomial &

p

)

[inline]

---

Member Function Documentation

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

(

const self &

other

)

const [inline]

self& polybori::groebner::PolyEntry::operator=

(

const self &

rhs

)

[inline]

self& polybori::groebner::PolyEntry::operator=

(

const Polynomial &

rhs

)

[inline]

deg_type polybori::groebner::PolyEntry::ecart

(

)

const [inline]

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

void polybori::groebner::PolyEntry::recomputeInformation

(

)

References polybori::BoolePolynomial::deg(), polybori::groebner::PolyEntryBase::deg, polybori::BoolePolynomial::eliminationLengthWithDegBound(), polybori::BoolePolynomial::lead(), polybori::groebner::PolyEntryBase::lead, polybori::BoolePolynomial::leadDeg(), polybori::groebner::PolyEntryBase::leadDeg, polybori::BoolePolynomial::length(), polybori::groebner::PolyEntryBase::length, polybori::groebner::PolyEntryBase::literal_factors, polybori::groebner::PolyEntryBase::p, PBORI_ASSERT, polybori::BoolePolynomial::ring(), polybori::groebner::PolyEntryBase::tail, polybori::groebner::PolyEntryBase::tailVariables, polybori::groebner::PolyEntryBase::usedVariables, polybori::BoolePolynomial::usedVariablesExp(), and polybori::groebner::PolyEntryBase::weightedLength.

void polybori::groebner::PolyEntry::markVariablePairsCalculated

(

)

[inline]

Referenced by polybori::groebner::GroebnerStrategy::addHigherImplDelayedUsing4().

bool polybori::groebner::PolyEntry::propagatableBy

(

const PolyEntry &

other

)

const [inline]

References polybori::groebner::PolyEntryBase::leadExp, and polybori::groebner::PolyEntryBase::p.

bool polybori::groebner::PolyEntry::isSingleton

(

)

const [inline]

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

---

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

• PolyEntry.h
• PolyEntry.cc