Uses of Class
net.sf.javabdd.BDDPairing

Uses of BDDPairing in net.sf.javabdd
 

Methods in net.sf.javabdd that return BDDPairing
 BDDPairing TypedBDDFactory.makePair()
           
 BDDPairing TestBDDFactory.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(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.
 

Methods in net.sf.javabdd with parameters of type BDDPairing
 BDD TypedBDDFactory.TypedBDD.veccompose(BDDPairing pair)
           
 BDD TypedBDDFactory.TypedBDD.replace(BDDPairing pair)
           
 BDD TypedBDDFactory.TypedBDD.replaceWith(BDDPairing pair)
           
abstract  BDD BDD.veccompose(BDDPairing pair)
          Simultaneous functional composition.
abstract  BDD BDD.replace(BDDPairing pair)
          Returns a BDD where all variables are replaced with the variables defined by pair.
abstract  BDD BDD.replaceWith(BDDPairing pair)
          Replaces all variables in this BDD with the variables defined by pair.
 



Copyright © 2003-2004 John Whaley. All Rights Reserved.