jdd.zdd

Class ZDDPrinter

java.lang.Object

jdd.zdd.ZDDPrinter

public class ZDDPrinter
extends Object

Helper class for printing Z-BDD graphs, as text/sets/DOT files.

Constructor Summary

Constructors

Constructor and Description
ZDDPrinter()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ZDDPrinter

public ZDDPrinter()