GenBDDFactory
Generic BDD factory over the type of BDD variables
Attributes
- Var
the type of variable labelled on BDD nodes
- Graph
- Supertypes
- Known subtypes
- class SymbolBDDFactory
Members list
Type members
Classlikes
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- FactoryImplicits.type
Value members
Concrete methods
Delegate BDD AND to JavaBDD factory
Delegate BDD AND to JavaBDD factory
Attributes
- left
BDD
- right
BDD
- Returns:
the resulting BDD
Send dispose signal to JavaBDD factory
Send dispose signal to JavaBDD factory
Attributes
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
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
Attributes
- Returns:
the mapping from BDD to labelled variable
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
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
Delegate BDD Not to JavaBDD factory
Delegate BDD Not to JavaBDD factory
Attributes
- arg
initial BDD
- Returns:
negated BDD
Attributes
- Returns:
one terminal
Delegate BDD OR to JavaBDD factory
Delegate BDD OR to JavaBDD factory
Attributes
- left
BDD
- right
BDD
- Returns:
the resulting BDD
Attributes
- by
the new variable
- in
the BDD
- replace
the initial variable to replace
- Returns:
the modified BDD
Reinitialise the JavaBDD factory to initial variable number
Reinitialise the JavaBDD factory to initial variable number
Attributes
Attributes
- Returns:
zero terminal
Inherited methods
n-ary BDD and
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
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
n-ary BDD or