Uses of Class
com.github.javabdd.BDDPairing

Uses of BDDPairing in com.github.javabdd

Methods in com.github.javabdd that return BDDPairing

Modifier and Type	Method and Description
abstract BDDPairing	BDDFactory.makePair() Make a new BDDPairing object.
BDDPairing	JFactory.makePair()
BDDPairing	MicroFactory.makePair()
BDDPairing	TestBDDFactory.makePair()
BDDPairing	TypedBDDFactory.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 com.github.javabdd with parameters of type BDDPairing

Modifier and Type	Method and Description
protected abstract int	BDDFactoryIntImpl.replace_impl(int v, BDDPairing p)
protected int	JFactory.replace_impl(int v, BDDPairing p)
protected int	MicroFactory.replace_impl(int v, BDDPairing p)
protected int	UberMicroFactory.replace_impl(int v, BDDPairing p)
abstract BDD	BDD.replace(BDDPairing pair) Returns a BDD where all variables are replaced with the variables defined by pair.
BDD	BDDFactoryIntImpl.IntBDD.replace(BDDPairing pair)
BDD	TypedBDDFactory.TypedBDD.replace(BDDPairing pair)
abstract BDD	BDD.replaceWith(BDDPairing pair) Replaces all variables in this BDD with the variables defined by pair.
BDD	BDDFactoryIntImpl.IntBDD.replaceWith(BDDPairing pair)
BDD	TypedBDDFactory.TypedBDD.replaceWith(BDDPairing pair)
protected abstract int	BDDFactoryIntImpl.veccompose_impl(int v, BDDPairing p)
protected int	JFactory.veccompose_impl(int v, BDDPairing p)
protected int	MicroFactory.veccompose_impl(int v, BDDPairing p)
protected int	UberMicroFactory.veccompose_impl(int v, BDDPairing p)
abstract BDD	BDD.veccompose(BDDPairing pair) Simultaneous functional composition.
BDD	BDDFactoryIntImpl.IntBDD.veccompose(BDDPairing pair)
BDD	TypedBDDFactory.TypedBDD.veccompose(BDDPairing pair)