|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BDDPairing | |
---|---|
net.sf.javabdd |
Uses of BDDPairing in net.sf.javabdd |
---|
Methods in net.sf.javabdd that return BDDPairing | |
---|---|
BDDPairing |
MicroFactory.makePair()
|
BDDPairing |
CALFactory.makePair()
|
BDDPairing |
JFactory.makePair()
|
BDDPairing |
JDDFactory.makePair()
|
BDDPairing |
TypedBDDFactory.makePair()
|
BDDPairing |
BuDDyFactory.makePair()
|
abstract BDDPairing |
BDDFactory.makePair()
Make a new BDDPairing object. |
BDDPairing |
CUDDFactory.makePair()
|
BDDPairing |
TestBDDFactory.makePair()
|
BDDPairing |
UberMicroFactory.makePair()
|
BDDPairing |
BDDFactory.makePair(BDDDomain oldvar,
BDDDomain newvar)
Make a new pairing that maps from one BDD domain to another. |
BDDPairing |
BDDFactory.makePair(int oldvar,
BDD newvar)
Make a new pairing that maps from one variable to another BDD. |
BDDPairing |
BDDFactory.makePair(int oldvar,
int newvar)
Make a new pairing that maps from one variable to another. |
Methods in net.sf.javabdd with parameters of type BDDPairing | |
---|---|
abstract BDD |
BDD.replace(BDDPairing pair)
Returns a BDD where all variables are replaced with the variables defined by pair. |
BDD |
TypedBDDFactory.TypedBDD.replace(BDDPairing pair)
|
BDD |
BDDFactoryIntImpl.IntBDD.replace(BDDPairing pair)
|
abstract BDD |
BDD.replaceWith(BDDPairing pair)
Replaces all variables in this BDD with the variables defined by pair. |
BDD |
TypedBDDFactory.TypedBDD.replaceWith(BDDPairing pair)
|
BDD |
BDDFactoryIntImpl.IntBDD.replaceWith(BDDPairing pair)
|
abstract BDD |
BDD.veccompose(BDDPairing pair)
Simultaneous functional composition. |
BDD |
TypedBDDFactory.TypedBDD.veccompose(BDDPairing pair)
|
BDD |
BDDFactoryIntImpl.IntBDD.veccompose(BDDPairing pair)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |