polybori::groebner::LiteralFactorization Class Reference
#include <literal_factorization.h>
List of all members.
Member Typedef Documentation
Constructor & Destructor Documentation
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(), factors, polybori::CCompareEnums::greater_than, polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::leadExp(), polybori::CDDInterface< CuddLikeZDD >::length(), polybori::BoolePolynomial::lmDeg(), lmDeg, polybori::BooleEnv::ordering(), rest, polybori::BoolePolynomial::ring(), polybori::BooleSet::ring(), polybori::BooleSet::subset0(), polybori::BooleSet::subset1(), UNLIKELY, polybori::BoolePolynomial::usedVariablesExp(), and var2var_map.
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
The documentation for this class was generated from the following files: