#include <literal_factorization.h>
Public Types | |
typedef LiteralFactorizationIterator | const_iterator |
typedef std::map< idx_type, int > | map_type |
typedef std::map< idx_type, idx_type > | var2var_map_type |
Public Member Functions | |
LiteralFactorization (const Polynomial &) | |
LiteralFactorization () | |
bool | occursAsLeadOfFactor (idx_type v) const |
bool | trivial () const |
bool | is11Factorization () |
bool | is00Factorization () |
const_iterator | begin () |
const_iterator | end () |
Public Attributes | |
map_type | factors |
Polynomial | rest |
deg_type | lmDeg |
var2var_map_type | var2var_map |
typedef std::map<idx_type, int> polybori::groebner::LiteralFactorization::map_type |
typedef std::map<idx_type, idx_type> polybori::groebner::LiteralFactorization::var2var_map_type |
polybori::groebner::LiteralFactorization::LiteralFactorization | ( | const Polynomial & | p | ) |
References polybori::BooleExponent::begin(), polybori::BooleSet::change(), polybori::groebner::common_literal_factors_deg(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleExponent::end(), end(), factors, polybori::CCompareEnums::greater_than, polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::leadDeg(), polybori::BoolePolynomial::leadExp(), polybori::CDDInterface< CuddLikeZDD >::length(), lmDeg, polybori::BooleEnv::ordering(), rest, polybori::BoolePolynomial::ring(), polybori::BooleSet::ring(), polybori::BooleSet::subset0(), polybori::BooleSet::subset1(), polybori::BoolePolynomial::usedVariablesExp(), and var2var_map.
polybori::groebner::LiteralFactorization::LiteralFactorization | ( | ) | [inline] |
LiteralFactorization::const_iterator polybori::groebner::LiteralFactorization::begin | ( | ) |
References factors, and var2var_map.
LiteralFactorization::const_iterator polybori::groebner::LiteralFactorization::end | ( | ) |
References factors, and var2var_map.
Referenced by LiteralFactorization().
bool polybori::groebner::LiteralFactorization::is00Factorization | ( | ) |
References factors, lmDeg, and polybori::groebner::maps_to_one().
bool polybori::groebner::LiteralFactorization::is11Factorization | ( | ) |
References factors, lmDeg, and polybori::groebner::maps_to_zero().
bool polybori::groebner::LiteralFactorization::occursAsLeadOfFactor | ( | idx_type | v | ) | const |
bool polybori::groebner::LiteralFactorization::trivial | ( | ) | const |
References factors, polybori::BoolePolynomial::isOne(), rest, and var2var_map.
Referenced by begin(), end(), is00Factorization(), is11Factorization(), LiteralFactorization(), occursAsLeadOfFactor(), polybori::groebner::LiteralFactorizationIterator::operator*(), polybori::groebner::LiteralFactorizationIterator::operator++(), polybori::groebner::GroebnerStrategy::treatVariablePairs(), and trivial().
Referenced by is00Factorization(), is11Factorization(), and LiteralFactorization().