Package jdd.bdd.debug

Classes for debugging and profiling the BDD package.

See: Description

Interface Summary

Interface	Description
BDDDebuger	This class will report BDD statistics.

Class Summary

Class	Description
BDDDebugFrame	This class will report BDD statistics suing a minimalistic GUI.
BDDTrace	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...
BDDTraceSuite	This class opens and runs a suite of BDD traces from a zip file.
DebugBDD	The only function of the class is to verify the integrity of your BDD app by doing extensive tests on every BDD operation.
IdealCache	An ideal cache that is have no collisions.
ProfiledBDD	profiling the BDD by counting each operation.
ProfiledBDD2	profiling the BDD by counting and timing each operation
RandomCache	RandomCache.java: like SimpleCache but used changing random numbers instead of large prime number to distribute the hash value.
VerifiedCache	This cache verifis the SimpleCache on the fly by testing it against an ideal cache.

Package jdd.bdd.debug Description

Classes for debugging and profiling the BDD package.

Note that most of the classes in this package are for JDD developers only and are not meant to be used by the end users (end developers ?)