BaseBDDFactory
base trait for BDD factories
Attributes
- MyBDD
the BDD representation which must be a subtype of JavaBDD type
- Var
the type of variable labelled on BDD nodes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
Members list
Value members
Abstract methods
BDD AND
BDD AND
Attributes
- left
BDD
- right
BDD
- Returns:
the resulting BDD
Free native data structure if exists
Free native data structure if exists
Attributes
Return the ith BDD node in the table
Return the ith BDD node in the table
Attributes
- i
the index of the BDD node
- Returns:
BDD node
Produce a BDD node labelled with a given variable
Produce a BDD node labelled with a given variable
Attributes
- variable
the variable
- Returns:
a BDD node
Attributes
- Returns:
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
Attributes
- cacheSize
initial size of the cache table containing BDD nodes
- numberOfVar
maximum number of variables in BDDs
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
Attributes
- high
the high son
- low
the low son
- variable
the variable labelling the BDD
- Returns:
the resulting BDD
BDD negation
BDD negation
Attributes
- arg
initial BDD
- Returns:
negated BDD
Return the one terminal
Return the one terminal
Attributes
- Returns:
one terminal
BDD OR
BDD OR
Attributes
- left
BDD
- right
BDD
- Returns:
the resulting BDD
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
Attributes
- by
the new variable
- in
the BDD
- replace
the initial variable to replace
- Returns:
the modified BDD
Clean the cache and the index table
Clean the cache and the index table
Attributes
Return the zero terminal
Return the zero terminal
Attributes
- Returns:
zero terminal
Concrete methods
n-ary BDD and
n-ary BDD and
Attributes
- s
set of BDD
- Returns:
the resulting BDD
Import a BDD in this factory from one coming from another factory
Import a BDD in this factory from one coming from another factory
Attributes
- OtherBDD
the type of the other BDD
- bdd
the other factory BDD
- bddVar
the map from BDD node to variables
- Returns:
the BDD imported in this factory
Exactly k elements out of an ordered sequence of variables
Exactly k elements out of an ordered sequence of variables
Attributes
- k
the number of variables that must be true
- vs
the ordered sequence of variables
- Returns:
the resulting BDD
BDD implication
BDD implication
Attributes
- left
BDD
- right
BDD
- Returns:
the resulting BDD
n-ary BDD or
n-ary BDD or
Attributes
- s
the set of BDD
- Returns:
the resulting BDD