SymbolBDDFactory
BDDFactory where variables labelled on BDD node are InstBoolIdent
Attributes
- Graph
- Supertypes
Members list
Type members
Inherited classlikes
Attributes
- Inherited from:
- GenBDDFactory
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Value members
Inherited methods
Delegate BDD AND to JavaBDD factory
Delegate BDD AND to JavaBDD factory
Attributes
- left
BDD
- right
BDD
- Returns:
the resulting BDD
- Inherited from:
- GenBDDFactory
n-ary BDD and
Send dispose signal to JavaBDD factory
Return the BDD labelled by the ith variable
Return the BDD labelled by the ith variable
Attributes
- i
the index of the BDD node
- Returns:
BDD node
- Inherited from:
- GenBDDFactory
Attributes
- Inherited from:
- GenBDDFactory
Attributes
- Inherited from:
- GenBDDFactory
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
Attributes
- variable
the variable
- Returns:
a BDD node
- Inherited from:
- GenBDDFactory
Attributes
- Returns:
the mapping from BDD to labelled variable
- Inherited from:
- GenBDDFactory
Attributes
- Inherited from:
- GenBDDFactory
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
- Inherited from:
- BaseBDDFactory
Initialise a JavaBDD factory
Initialise a JavaBDD factory
Attributes
- cacheSize
initial size of the cache table containing BDD nodes
- numberOfVar
maximum number of variables in BDDs
- Inherited from:
- GenBDDFactory
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
- Inherited from:
- BaseBDDFactory
BDD implication
Build a BDD bu applying the formula v.high + (neg v).low
Build a BDD bu applying the formula v.high + (neg v).low
Attributes
- high
the high son
- low
the low son
- variable
the variable labelling the BDD
- Returns:
the resulting BDD
- Inherited from:
- GenBDDFactory
Delegate BDD Not to JavaBDD factory
Delegate BDD Not to JavaBDD factory
Attributes
- arg
initial BDD
- Returns:
negated BDD
- Inherited from:
- GenBDDFactory
Attributes
- Returns:
one terminal
- Inherited from:
- GenBDDFactory
Delegate BDD OR to JavaBDD factory
Delegate BDD OR to JavaBDD factory
Attributes
- left
BDD
- right
BDD
- Returns:
the resulting BDD
- Inherited from:
- GenBDDFactory
n-ary BDD or
Attributes
- by
the new variable
- in
the BDD
- replace
the initial variable to replace
- Returns:
the modified BDD
- Inherited from:
- GenBDDFactory
Reinitialise the JavaBDD factory to initial variable number
Attributes
- Returns:
zero terminal
- Inherited from:
- GenBDDFactory