Class for ZDDs. More...
#include <cuddObj.hh>
Inheritance diagram for ZDD:
Collaboration diagram for ZDD:
Public Member Functions | |
| ZDD (Capsule *cap, DdNode *bddNode) | |
| ZDD (const ZDD &from) | |
| ZDD | operator= (const ZDD &right) |
| bool | operator== (const ZDD &other) const |
| bool | operator!= (const ZDD &other) const |
| bool | operator<= (const ZDD &other) const |
| bool | operator>= (const ZDD &other) const |
| bool | operator< (const ZDD &other) const |
| bool | operator> (const ZDD &other) const |
| void | print (int nvars, int verbosity=1) const |
| ZDD | operator* (const ZDD &other) const |
| ZDD | operator*= (const ZDD &other) |
| ZDD | operator & (const ZDD &other) const |
| ZDD | operator &= (const ZDD &other) |
| ZDD | operator+ (const ZDD &other) const |
| ZDD | operator+= (const ZDD &other) |
| ZDD | operator| (const ZDD &other) const |
| ZDD | operator|= (const ZDD &other) |
| ZDD | operator- (const ZDD &other) const |
| ZDD | operator-= (const ZDD &other) |
| int | Count () const |
| double | CountDouble () const |
| ZDD | Product (const ZDD &g) const |
| ZDD | UnateProduct (const ZDD &g) const |
| ZDD | WeakDiv (const ZDD &g) const |
| ZDD | Divide (const ZDD &g) const |
| ZDD | WeakDivF (const ZDD &g) const |
| ZDD | DivideF (const ZDD &g) const |
| double | CountMinterm (int path) const |
| BDD | PortToBdd () const |
| ZDD | Ite (const ZDD &g, const ZDD &h) const |
| ZDD | Union (const ZDD &Q) const |
| ZDD | Intersect (const ZDD &Q) const |
| ZDD | Diff (const ZDD &Q) const |
| ZDD | DiffConst (const ZDD &Q) const |
| ZDD | Subset1 (int var) const |
| ZDD | Subset0 (int var) const |
| ZDD | Change (int var) const |
| void | PrintMinterm () const |
| void | PrintCover () const |
| BDD | Support () const |
 Public Member Functions inherited from DD | |
| operator bool () const | |
| DdManager * | manager () const |
| DdNode * | getNode () const |
| DdNode * | getRegularNode () const |
| int | nodeCount () const |
| unsigned int | NodeReadIndex () const |
Friends | |
| class | Cudd |
Additional Inherited Members | |
| Protected Member Functions inherited from DD | |
| DdManager * | checkSameManager (const DD &other) const |
| void | checkReturnValue (const void *result) const |
| void | checkReturnValue (int result, int expected=1) const |
| DD (Capsule *cap, DdNode *ddNode) | |
| DD (Cudd const &manager, DdNode *ddNode) | |
| DD (const DD &from) | |
| Protected Attributes inherited from DD | |
| Capsule * | p |
| DdNode * | node |
Detailed Description
Class for ZDDs.
- See also
- Cudd
The documentation for this class was generated from the following files:
- cplusplus/cuddObj.hh
- cplusplus/cuddObj.cc
