Uses of Class
net.sf.javabdd.BDDPairing

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)