18 #ifndef polybori_BooleVariable_h_
19 #define polybori_BooleVariable_h_
58 BooleVariable(
idx_type idx,
const ring_type& ring):
60 m_poly( ring.variableDiagram(idx) ) {}
64 m_poly( ring.variableDiagram(0) ) {}
78 return m_poly==other.m_poly;
83 return m_poly!=other.m_poly;
93 set_type
set()
const {
return m_poly.set(); }
96 const ring_type&
ring()
const {
return m_poly.ring(); }
107 inline BoolePolynomial
114 #endif // of polybori_BooleVariable_h_
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
BoolePolyRing ring_type
Type for Boolean polynomial rings (without ordering)
Definition: BooleVariable.h:51
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
BooleVariable(const self &rhs)
Copy constructor.
Definition: BooleVariable.h:67
This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and v...
Definition: BoolePolyRing.h:40
This struct contains auxiliary type definitions.
Definition: pbori_defs.h:210
idx_type index() const
Get index of the variable.
Definition: BooleVariable.h:74
BoolePolynomial::bool_type operator==(BoolePolynomial::bool_type lhs, const BoolePolynomial &rhs)
Equality check (with constant lhs)
Definition: BoolePolynomial.h:579
This class wraps the underlying decicion diagram type and defines the necessary operations.
Definition: BoolePolynomial.h:85
hash_type stableHash() const
Hash value of the variable.
Definition: BooleVariable.h:87
std::size_t hash_type
Type for hashing.
Definition: pbori_defs.h:231
BooleSet set_type
Type of sets of Boolean variables.
Definition: BooleVariable.h:48
const ring_type & ring() const
Access ring, where this belongs to.
Definition: BooleVariable.h:96
int idx_type
Type for indices.
Definition: pbori_defs.h:228
BoolePolynomial operator/(const BooleVariable &lhs, const BooleVariable &rhs)
Division.
Definition: BooleVariable.h:108
hash_type hash() const
Get unique hash value (valid only per runtime)
Definition: BooleVariable.h:90
set_type set() const
Convert to Boolean set.
Definition: BooleVariable.h:93
BooleVariable(const ring_type &ring)
Construct first variable of a given ring.
Definition: BooleVariable.h:63
BoolePolynomial::bool_type operator!=(BoolePolynomial::bool_type lhs, const BoolePolynomial &rhs)
Nonquality check (with constant lhs)
Definition: BoolePolynomial.h:586
Definition: BooleSet.h:57
This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet...
Definition: BooleConstant.h:40
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleVariable.h:39