#include <literal_factorization.h>
Public Types | |
typedef std::map< idx_type, int > | map_type |
typedef std::map< idx_type, idx_type > | var2var_map_type |
Public Member Functions | |
LiteralFactorization (const Polynomial &) | |
bool | occursAsLeadOfFactor (idx_type v) const |
bool | trivial () const |
bool | is11Factorization () |
bool | is00Factorization () |
Public Attributes | |
map_type | factors |
Polynomial | rest |
deg_type | lmDeg |
var2var_map_type | var2var_map |
typedef std::map<idx_type, int> LiteralFactorization::map_type |
typedef std::map<idx_type, idx_type> LiteralFactorization::var2var_map_type |
LiteralFactorization::LiteralFactorization | ( | const Polynomial & | p | ) |
References CDDInterface< CuddLikeZDD >::change(), CDDInterface< CuddLikeZDD >::emptiness(), factors, CCompareEnums::greater_than, CDDInterface< CuddLikeZDD >::length(), lmDeg, BooleEnv::ordering(), rest, BooleSet::ring(), CDDInterface< CuddLikeZDD >::subset0(), CDDInterface< CuddLikeZDD >::subset1(), UNLIKELY, and var2var_map.
bool LiteralFactorization::is00Factorization | ( | ) |
References factors, lmDeg, and maps_to_one().
bool LiteralFactorization::is11Factorization | ( | ) |
References factors, lmDeg, and maps_to_zero().
bool LiteralFactorization::occursAsLeadOfFactor | ( | idx_type | v | ) | const |
References factors, rest, and var2var_map.
bool LiteralFactorization::trivial | ( | ) | const |
References factors, rest, and var2var_map.
Referenced by is00Factorization(), is11Factorization(), and LiteralFactorization().
Referenced by common_literal_factors_deg(), LiteralFactorization(), occursAsLeadOfFactor(), and trivial().
Referenced by common_literal_factors_deg(), LiteralFactorization(), occursAsLeadOfFactor(), and trivial().