This class is just a wrapper for using variables from cudd's
decicion diagram.
More...
#include <BooleVariable.h>
Public Types | |
typedef BooleVariable | self |
Generic access to current type. | |
typedef BooleSet | set_type |
Type of sets of Boolean variables. | |
typedef BooleRing | ring_type |
Type for Boolean polynomial rings (without ordering). | |
Adopt global type definitions | |
typedef CTypes::dd_type | dd_type |
typedef CTypes::size_type | size_type |
typedef CTypes::idx_type | idx_type |
Public Member Functions | |
BooleVariable (idx_type idx=0) | |
Constructor idx-th variable of active ring. | |
BooleVariable (idx_type idx, const ring_type &ring) | |
Constructor idx-th variable of a given ring. | |
BooleVariable (const self &rhs) | |
Copy constructor. | |
operator const BoolePolynomial & () const | |
Cast to polynomial type. | |
idx_type | index () const |
Get index of the variable. | |
bool | operator== (const self &other) const |
Equality check. | |
bool | operator!= (const self &other) const |
set_type | set () const |
ring_type | ring () const |
Access ring, where this belongs to. |
This class is just a wrapper for using variables from cudd's
decicion diagram.
BooleVariable
is actually a specialization of BoolePolynomial
with a special constructor. typedef BooleRing BooleVariable::ring_type |
Type for Boolean polynomial rings (without ordering).
typedef BooleVariable BooleVariable::self |
Generic access to current type.
typedef BooleSet BooleVariable::set_type |
Type of sets of Boolean variables.
BooleVariable::BooleVariable | ( | idx_type | idx = 0 |
) | [inline, explicit] |
Constructor idx-th variable of active ring.
Constructor idx-th variable of a given ring.
BooleVariable::BooleVariable | ( | const self & | rhs | ) | [inline] |
Copy constructor.
idx_type BooleVariable::index | ( | ) | const [inline] |
Get index of the variable.
References BoolePolynomial::firstBegin().
Referenced by BooleExponent::divide(), BooleExponent::multiply(), BooleMonomial::operator*=(), BooleMonomial::operator/=(), and BooleExponent::reducibleBy().
BooleVariable::operator const BoolePolynomial & | ( | ) | const [inline] |
Cast to polynomial type.
bool BooleVariable::operator!= | ( | const self & | other | ) | const [inline] |
bool BooleVariable::operator== | ( | const self & | other | ) | const [inline] |
Equality check.
ring_type BooleVariable::ring | ( | ) | const [inline] |
set_type BooleVariable::set | ( | ) | const [inline] |
References BoolePolynomial::set().