PolyBoRi
|
#include <pairs.h>
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 |
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] |
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.
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().
Referenced by PolyEntry(), and recomputeInformation().
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().
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().
Referenced by PolyEntry().
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().
Referenced by PolyEntry(), and recomputeInformation().
Referenced by PolyEntry(), and recomputeInformation().
Referenced by PolyEntry(), recomputeInformation(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().
set of variables with which pair was calculated