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.
|
inlineexplicit |
Constructor idx-th variable of active ring.
Constructor idx-th variable of a given ring.
|
inline |
Copy constructor.
|
inline |
Get index of the variable.
Referenced by polybori::BooleExponent::divide(), polybori::BooleExponent::multiply(), polybori::BooleMonomial::operator*=(), polybori::BooleMonomial::operator/=(), and polybori::BooleExponent::reducibleBy().
|
inline |
Cast to polynomial type.
|
inline |
|
inline |
Equality check.
|
inline |
Access ring, where this belongs to.
Referenced by polybori::operator/().
|
inline |