Package SableJBDD.bdd

Interface Summary
JBddConstants Constants used by JBDD.
 

Class Summary
JBDD A BDD object represents a bdd function.
JBddInternalNode A class for bdd internal nodes.
JBddManager A BDD manager manages system resources such as unique table and caches.
JBddNode A class for bdd internal nodes.
JBddVariable A bdd variable has name, order, and so on.