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	Description
abstract BDDPairing	BDDFactory.makePair()	Make a new BDDPairing object.
BDDPairing	BDDFactory.makePair(int oldvar, int newvar)	Make a new pairing that maps from one variable to another.
BDDPairing	BDDFactory.makePair(int oldvar, BDD newvar)	Make a new pairing that maps from one variable to another BDD.
BDDPairing	BDDFactory.makePair(BDDDomain oldvar, BDDDomain newvar)	Make a new pairing that maps from one BDD domain to another.
BDDPairing	JFactory.makePair()

Methods in com.github.javabdd with parameters of type BDDPairing

Modifier and Type	Method	Description
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)
protected abstract int	BDDFactoryIntImpl.replace_impl(int v, BDDPairing p)
protected int	JFactory.replace_impl(int v, BDDPairing p)
abstract BDD	BDD.replaceWith(BDDPairing pair)	Replaces all variables in this BDD with the variables defined by pair.
BDD	BDDFactoryIntImpl.IntBDD.replaceWith(BDDPairing pair)
abstract BDD	BDD.veccompose(BDDPairing pair)	Simultaneous functional composition.
BDD	BDDFactoryIntImpl.IntBDD.veccompose(BDDPairing pair)
protected abstract int	BDDFactoryIntImpl.veccompose_impl(int v, BDDPairing p)
protected int	JFactory.veccompose_impl(int v, BDDPairing p)