jdd.bdd.debug

Class BDDTrace

java.lang.Object

jdd.bdd.debug.BDDTrace

public class BDDTrace
extends Object

This is a simple BDD trace driver
It reads trace files a subset of Bwolen Yang's "BDD Trace Driver" file format.
It is used to verify the integrity and efficiency of a BDD package against another without
creating a whole new application for it... Note: we have added the following commands
print_bdd(variable); print the BDD strcutre in the java console.
show_bdd(variable); save an image for this BDD in current directory (default is variable.png)
save_bdd(variable); save this BDD in the current directory.

If you are using an applet, only print_bdd will work.

This is a very quick-and-dirty implementation, so don't expect anything stable :(

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	verbose this is our extra VERBOSE flags, to enable trace_verbose_print() output

Constructor Summary

Constructors

Constructor and Description
BDDTrace(String file)
BDDTrace(String file, InputStream is)
BDDTrace(String file, InputStream is, int nodes)
BDDTrace(String file, int nodes)

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

verbose

public static boolean verbose

this is our extra VERBOSE flags, to enable trace_verbose_print() output

Constructor Detail

BDDTrace

public BDDTrace(String file)
         throws IOException

Throws:

IOException

BDDTrace

public BDDTrace(String file,
                int nodes)
         throws IOException

Throws:

IOException

BDDTrace

public BDDTrace(String file,
                InputStream is)
         throws IOException

Throws:

IOException

BDDTrace

public BDDTrace(String file,
                InputStream is,
                int nodes)
         throws IOException

Throws:

IOException

Method Detail

main

public static void main(String[] args)