TdZdd
1.1
A top-down/breadth-first decision diagram manipulation framework
|
ZBDD wrapper. More...
#include <SapporoZdd.hpp>
Additional Inherited Members | |
![]() | |
std::vector< std::pair< int, int > > | findOneInstance () const |
Returns a random instance using simple depth-first search without caching. More... | |
void | dumpDot (std::ostream &os=std::cout, std::string title=typenameof< SapporoZdd >()) const |
Dumps the diagram in Graphviz (DOT) format. More... | |
std::string | dot (std::string title=typenameof< SapporoZdd >()) const |
Makes an input code for Graphviz. More... | |
ZBDD wrapper.
ZBDD nodes at level i + offset
are converted to TdZdd nodes at level i.
Definition at line 46 of file SapporoZdd.hpp.