23 class LiteralFactorizationIterator;
34 bool occursAsLeadOfFactor(
idx_type v)
const;
36 bool is11Factorization()
const;
37 bool is00Factorization()
const;
45 const_iterator begin();
deg_type common_literal_factors_deg(const LiteralFactorization &a, const LiteralFactorization &b)
Definition: LiteralFactorization.cc:319
This class defines LiteralFactorizationIterator.
Definition: LiteralFactorizationIterator.h:36
deg_type lmDeg
Definition: LiteralFactorization.h:33
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
Polynomial rest
Definition: LiteralFactorization.h:32
Definition: LiteralFactorization.h:24
int deg_type
Definition: groebner_defs.h:42
var2var_map_type var2var_map
Definition: LiteralFactorization.h:43
BoolePolynomial Polynomial
Definition: embed.h:51
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
std::map< idx_type, int > map_type
Definition: LiteralFactorization.h:30
This class wraps the underlying decicion diagram type and defines the necessary operations.
Definition: BoolePolynomial.h:85
Polynomial multiply_with_literal_factors(const LiteralFactorization &lf, Polynomial p)
Definition: LiteralFactorization.cc:423
map_type factors
Definition: LiteralFactorization.h:31
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
std::vector< Polynomial > easy_linear_factors(const Polynomial &p)
Definition: LiteralFactorization.cc:19
LiteralFactorizationIterator const_iterator
Definition: LiteralFactorization.h:27
std::map< idx_type, idx_type > var2var_map_type
Definition: LiteralFactorization.h:42