TdZdd
1.1
A top-down/breadth-first decision diagram manipulation framework
|
Exporter to ZBDD. More...
#include <ToZBDD.hpp>
Additional Inherited Members | |
![]() | |
bool | isThreadSafe () const |
Declares thread-safety. More... | |
bool | showMessages () const |
Declares preference to show messages. More... | |
void | initialize (int level) |
Initialization. More... | |
ZBDD | getValue (ZBDD const &v) |
Makes a result value. More... | |
void | destructLevel (int i) |
Destructs i-th level of data storage. More... | |
Exporter to ZBDD.
TdZdd nodes at level i are converted to ZBDD nodes at level i + offset
. When the ZBDD variables are not enough, they are created automatically by BDD_NewVar().
Definition at line 45 of file ToZBDD.hpp.