This class is just a wrapper for using variables from cudd's
decicion diagram.
More...
#include <BooleVariable.h>
|
typedef BooleSet | set_type |
| Type of sets of Boolean variables.
|
|
typedef BoolePolyRing | ring_type |
| Type for Boolean polynomial rings (without ordering)
|
|
typedef bool | bool_type |
| Type for standard true/false statements.
|
|
typedef std::size_t | size_type |
| Type for lengths, dimensions, etc.
|
|
typedef int | deg_type |
| Type for polynomial degrees (ranges from -1 to maxint)
|
|
typedef int | integer_type |
| Type for integer numbers.
|
|
typedef int | idx_type |
| Type for indices.
|
|
typedef std::size_t | hash_type |
| Type for hashing.
|
|
typedef unsigned int | errornum_type |
| Type used to store error codes.
|
|
typedef short int | comp_type |
| Type for comparisons.
|
|
typedef int | ordercode_type |
| Type for ordering codes.
|
|
typedef const char * | errortext_type |
| Type used to verbose error information.
|
|
typedef std::ostream | ostream_type |
| Type for out-stream.
|
|
typedef const char * | vartext_type |
| Type for setting/getting names of variables.
|
|
typedef unsigned long | large_size_type |
| large size_type (necessary?)
|
|
typedef std::size_t | refcount_type |
| Type for counting references.
|
|
This class is just a wrapper for using variables from cudd's
decicion diagram.
- Note
BooleVariable
is actually a specialization of BoolePolynomial
with a special constructor.
Type for Boolean polynomial rings (without ordering)
Type of sets of Boolean variables.
Constructor idx-th variable of active ring.
explicit BooleVariable(idx_type idx = 0): m_poly( BooleEnv::ring().variable(idx) ) {}Construct idx-th variable of a given ring
polybori::BooleVariable::BooleVariable |
( |
const ring_type & |
ring | ) |
|
|
inline |
Construct first variable of a given ring.
polybori::BooleVariable::BooleVariable |
( |
const self & |
rhs | ) |
|
|
inline |
hash_type polybori::BooleVariable::hash |
( |
| ) |
const |
|
inline |
Get unique hash value (valid only per runtime)
idx_type polybori::BooleVariable::index |
( |
| ) |
const |
|
inline |
bool polybori::BooleVariable::operator!= |
( |
const self & |
other | ) |
const |
|
inline |
bool polybori::BooleVariable::operator== |
( |
const self & |
other | ) |
const |
|
inline |
const ring_type& polybori::BooleVariable::ring |
( |
| ) |
const |
|
inline |
set_type polybori::BooleVariable::set |
( |
| ) |
const |
|
inline |
hash_type polybori::BooleVariable::stableHash |
( |
| ) |
const |
|
inline |
Hash value of the variable.
The documentation for this class was generated from the following file: