BDD AND
BDD AND
BDD
BDD
the resulting BDD
Free native data structure if exists
Return the ith BDD node in the table
Return the ith BDD node in the table
the index of the BDD node
BDD node
the mapping from BDD to labelled variable
initialisation of the cache and number of node of the factory
initialisation of the cache and number of node of the factory
maximum number of variables in BDDs
initial size of the cache table containing BDD nodes
Build a MDDNode labelled by a variable where the high and low sons are given
Build a MDDNode labelled by a variable where the high and low sons are given
the variable labelling the BDD
the high son
the low son
the resulting BDD
BDD negation
BDD negation
initial BDD
negated BDD
Return the one terminal
Return the one terminal
one terminal
BDD OR
BDD OR
BDD
BDD
the resulting BDD
Produce a BDD node labelled with a given variable
Produce a BDD node labelled with a given variable
the variable
a BDD node
Replace all BDD nodes labelled by a given to variable to another one
Replace all BDD nodes labelled by a given to variable to another one
the initial variable to replace
the new variable
the BDD
the modified BDD
Clean the cache and the index table
Return the zero terminal
Return the zero terminal
zero terminal
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
base trait for BDD factories
the type of variable labelled on BDD nodes
the BDD representation which must be a subtype of JavaBDD type