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

ZBDD wrapper. More...

#include <SapporoZdd.hpp>

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

Additional Inherited Members

- Public Member Functions inherited from tdzdd::DdSpecBase< SapporoZdd, AR >
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...
 

Detailed Description

ZBDD wrapper.

ZBDD nodes at level i + offset are converted to TdZdd nodes at level i.

Definition at line 46 of file SapporoZdd.hpp.


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