Uses of Class
net.sf.javabdd.BDDPairing

Uses of BDDPairing in net.sf.javabdd

Methods in net.sf.javabdd that return BDDPairing

BDDPairing	UberMicroFactory.makePair()
BDDPairing	TypedBDDFactory.makePair()
BDDPairing	TestBDDFactory.makePair()
BDDPairing	MicroFactory.makePair()
BDDPairing	JFactory.makePair()
BDDPairing	JDDFactory.makePair()
BDDPairing	CUDDFactory.makePair()
BDDPairing	CALFactory.makePair()
BDDPairing	BuDDyFactory.makePair()
abstract BDDPairing	BDDFactory.makePair() Make a new BDDPairing object.
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

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