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 ith var of the JavaBDD factory
Return the ith var of the JavaBDD factory
the index of the BDD node
BDD node
Build the map from BDD identifier to BDD
Build the map from BDD identifier to BDD
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
JavaBDD factory
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
Delegate BDD NOT to JavaBDD
initial BDD
negated BDD
one terminal
Delegate BDD OR to JavaBDD factory
Delegate BDD OR to JavaBDD factory
BDD
BDD
the resulting BDD
Increment the number of produced variable and return the corresponding BDD
Increment the number of produced variable and return the corresponding BDD
the variable
a BDD node
Build a variable labelled by the current number of variable produced by the factory
Build a variable labelled by the current number of variable produced by the factory
BDD
Use JavaBDD replace to build new BDD where a given variable is replaced by another one
Use JavaBDD replace to build new BDD where a given variable is replaced by another one
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
Class for a classic BDD Factory (variable are integer and BDD are JavaBDD)