jdd.bdd

Class BDDPrinter

java.lang.Object

jdd.bdd.BDDPrinter

public class BDDPrinter
extends Object

Printer class for BDD trees

Constructor Summary

Constructors

Constructor and Description
BDDPrinter()

Method Summary

Modifier and Type	Method and Description
static void	print_rec(int i)
static void	print(int bdd, NodeTable nt) print the part of node-table that describes this BDD
static void	printDot(String filename, int bdd, NodeTable nt, NodeName nn)
static void	printSet(int bdd, int max, NodeTable nt, NodeName nn)

Methods inherited from class java.lang.Object

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

Constructor Detail

BDDPrinter

public BDDPrinter()

Method Detail

print

public static void print(int bdd,
                         NodeTable nt)

print the part of node-table that describes this BDD

print_rec

public static void print_rec(int i)

printDot

public static void printDot(String filename,
                            int bdd,
                            NodeTable nt,
                            NodeName nn)

printSet

public static void printSet(int bdd,
                            int max,
                            NodeTable nt,
                            NodeName nn)