PolyBoRi
|
#include <pbori_algo_int.h>
Public Types | |
typedef DdManager * | manager_type |
typedef CCuddNavigator | navigator |
![]() | |
typedef bool | bool_type |
Type for standard true/false statements. More... | |
typedef std::size_t | size_type |
Type for lengths, dimensions, etc. More... | |
typedef int | deg_type |
Type for polynomial degrees (ranges from -1 to maxint) More... | |
typedef int | integer_type |
Type for integer numbers. More... | |
typedef int | idx_type |
Type for indices. More... | |
typedef std::size_t | hash_type |
Type for hashing. More... | |
typedef unsigned int | errornum_type |
Type used to store error codes. More... | |
typedef short int | comp_type |
Type for comparisons. More... | |
typedef int | ordercode_type |
Type for ordering codes. More... | |
typedef const char * | errortext_type |
Type used to verbose error information. More... | |
typedef std::ostream | ostream_type |
Type for out-stream. More... | |
typedef const char * | vartext_type |
Type for setting/getting names of variables. More... | |
typedef unsigned long | large_size_type |
large size_type (necessary?) More... | |
typedef std::size_t | refcount_type |
Type for counting references. More... | |
Public Member Functions | |
dd_operations (manager_type man) | |
void | replacingUnite (navigator &newNode, const navigator &first, const navigator &second) const |
void | uniteAssign (navigator &first, const navigator &second) const |
void | diffAssign (navigator &first, const navigator &second) const |
navigator | diff (const navigator &first, const navigator &second) const |
void | replacingNode (navigator &newNode, idx_type idx, navigator &first, navigator &second) const |
void | newNodeAssign (idx_type idx, navigator &thenNode, const navigator &elseNode) const |
void | multiplesAssign (navigator &node, idx_type idx) const |
void | productAssign (navigator &node, idx_type idx) const |
void | assign (navigator &first, const navigator &second) const |
void | replace (navigator &first, const navigator &second) const |
size_type | nSupport (const navigator &node) const |
size_type | length (const navigator &node) const |
navigator & | newNode (navigator &node) const |
void | kill (navigator &node) const |
Protected Attributes | |
manager_type | mgr |
typedef DdManager* polybori::dd_operations< CCuddNavigator >::manager_type |
typedef CCuddNavigator polybori::dd_operations< CCuddNavigator >::navigator |
|
inline |
|
inline |
References polybori::CCuddNavigator::incRef().
|
inline |
References polybori::apply_cudd_function(), Cudd_zddDiff, and PBORI_PREFIX.
|
inline |
References polybori::apply_assign_cudd_function(), Cudd_zddDiff, and PBORI_PREFIX.
|
inline |
References polybori::recursive_dec_ref().
|
inline |
References polybori::CCuddNavigator::getNode(), and PBORI_PREFIX.
|
inline |
|
inline |
References polybori::CCuddNavigator::incRef().
|
inline |
|
inline |
References polybori::CCuddNavigator::getNode(), and PBORI_PREFIX.
|
inline |
References Cudd_ReadZero, and PBORI_PREFIX.
|
inline |
References polybori::recursive_dec_ref().
|
inline |
|
inline |
References polybori::apply_replacing_cudd_function(), Cudd_zddUnion, and PBORI_PREFIX.
|
inline |
References polybori::apply_assign_cudd_function(), Cudd_zddUnion, and PBORI_PREFIX.
|
protected |