PolyBoRi
|
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. Type for Boolean polynomial rings (without ordering)
Generic access to current type.
Type of sets of Boolean variables.
polybori::BooleVariable::BooleVariable | ( | idx_type | idx = 0 | ) | [inline, explicit] |
Constructor idx-th variable of active ring.
Constructor idx-th variable of a given ring.
polybori::BooleVariable::BooleVariable | ( | const self & | rhs | ) | [inline] |
Copy constructor.
idx_type polybori::BooleVariable::index | ( | ) | const [inline] |
Get index of the variable.
Referenced by polybori::BooleExponent::divide(), polybori::BooleExponent::multiply(), and polybori::BooleExponent::reducibleBy().
polybori::BooleVariable::operator const BoolePolynomial & | ( | ) | const [inline] |
Cast to polynomial type.
bool polybori::BooleVariable::operator!= | ( | const self & | other | ) | const [inline] |
bool polybori::BooleVariable::operator== | ( | const self & | other | ) | const [inline] |
Equality check.
ring_type polybori::BooleVariable::ring | ( | ) | const [inline] |
Access ring, where this belongs to.
Referenced by polybori::operator/().
set_type polybori::BooleVariable::set | ( | ) | const [inline] |