#include <literal_factorization.h>
Member Typedef Documentation
Constructor & Destructor Documentation
polybori::groebner::LiteralFactorization::LiteralFactorization |
( |
const Polynomial & |
p | ) |
|
References polybori::BooleExponent::begin(), polybori::BooleSet::change(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleExponent::end(), polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::leadExp(), polybori::CDDInterface< CuddLikeZDD >::length(), polybori::BoolePolynomial::lmDeg(), polybori::BooleSet::ring(), polybori::BoolePolynomial::ring(), polybori::BooleSet::subset0(), polybori::BooleSet::subset1(), UNLIKELY, and polybori::BoolePolynomial::usedVariablesExp().
Member Function Documentation
bool polybori::groebner::LiteralFactorization::is00Factorization |
( |
| ) |
|
bool polybori::groebner::LiteralFactorization::is11Factorization |
( |
| ) |
|
bool polybori::groebner::LiteralFactorization::occursAsLeadOfFactor |
( |
idx_type |
v | ) |
const |
bool polybori::groebner::LiteralFactorization::trivial |
( |
| ) |
const |
Member Data Documentation
map_type polybori::groebner::LiteralFactorization::factors |
deg_type polybori::groebner::LiteralFactorization::lmDeg |
Polynomial polybori::groebner::LiteralFactorization::rest |
The documentation for this class was generated from the following files: