TdZdd  1.1
A top-down/breadth-first decision diagram manipulation framework
List of all members
tdzdd::ToZBDD Struct Reference

Exporter to ZBDD. More...

#include <ToZBDD.hpp>

Collaboration diagram for tdzdd::ToZBDD:
Collaboration graph
[legend]

Additional Inherited Members

- Public Member Functions inherited from tdzdd::DdEval< ToZBDD, ZBDD >
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...
 

Detailed Description

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.


The documentation for this struct was generated from the following file: