PolyBoRi
Public Member Functions | List of all members
polybori::groebner::PolyEntry Class Reference

This class defines PolyEntry. More...

#include <PolyEntry.h>

Inheritance diagram for polybori::groebner::PolyEntry:
polybori::groebner::PolyEntryBase

Public Member Functions

 PolyEntry (const Polynomial &p)
bool operator== (const self &other) const
selfoperator= (const self &rhs)
selfoperator= (const Polynomial &rhs)
deg_type ecart () const
void recomputeInformation ()
void markVariablePairsCalculated ()
bool propagatableBy (const PolyEntry &other) const
bool isSingleton () const
- Public Member Functions inherited from polybori::groebner::PolyEntryBase
 PolyEntryBase (const Polynomial &poly)

Additional Inherited Members

- Public Attributes inherited from polybori::groebner::PolyEntryBase
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_typevPairCalculated
 set of variables with which pair was calculated

Detailed Description

This class defines PolyEntry.

Constructor & Destructor Documentation

polybori::groebner::PolyEntry::PolyEntry ( const Polynomial p)
inline

Member Function Documentation

deg_type polybori::groebner::PolyEntry::ecart ( ) const
inline
bool polybori::groebner::PolyEntry::isSingleton ( ) const
inline
void polybori::groebner::PolyEntry::markVariablePairsCalculated ( )
inline
self& polybori::groebner::PolyEntry::operator= ( const self rhs)
inline
self& polybori::groebner::PolyEntry::operator= ( const Polynomial rhs)
inline
bool polybori::groebner::PolyEntry::operator== ( const self other) const
inline
bool polybori::groebner::PolyEntry::propagatableBy ( const PolyEntry other) const
inline
void polybori::groebner::PolyEntry::recomputeInformation ( )

References PBORI_ASSERT.


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