Delegate BDD AND to JavaBDD factory
Delegate BDD AND to JavaBDD factory
BDD
BDD
the resulting BDD
Send dispose signal to JavaBDD factory
Send dispose signal to JavaBDD factory
Return the BDD labelled by the ith variable
Return the BDD labelled by the ith variable
the index of the BDD node
BDD node
the mapping from BDD to labelled variable
Import a BDD in this factory from one coming from another factory
Import a BDD in this factory from one coming from another factory
the type of the other BDD
the other factory BDD
the map from BDD node to variables
the BDD imported in this factory
Initialise a JavaBDD factory
Initialise a JavaBDD factory
maximum number of variables in BDDs
initial size of the cache table containing BDD nodes
Build a BDD bu applying the formula v.high + (neg v).low
Build a BDD bu applying the formula v.high + (neg v).low
the variable labelling the BDD
the high son
the low son
the resulting BDD
Delegate BDD Not to JavaBDD factory
Delegate BDD Not to JavaBDD factory
initial BDD
negated BDD
one terminal
Delegate BDD OR to JavaBDD factory
Delegate BDD OR to JavaBDD factory
BDD
BDD
the resulting BDD
Try to find the BDD of the variable in the correspondence table and return it if existing, otherwise generate a new BDD
Try to find the BDD of the variable in the correspondence table and return it if existing, otherwise generate a new BDD
the variable
a BDD node
the initial variable to replace
the new variable
the BDD
the modified BDD
Reinitialise the JavaBDD factory to initial variable number
Reinitialise the JavaBDD factory to initial variable number
zero terminal
Generic BDD factory over the type of BDD variables
the type of variable labelled on BDD nodes