Uses of Class
net.sf.javabdd.BDDBitVector

Uses of BDDBitVector in net.sf.javabdd
 

Methods in net.sf.javabdd that return BDDBitVector
protected  BDDBitVector TypedBDDFactory.createBitVector(int a)
           
protected  BDDBitVector TestBDDFactory.createBitVector(int a)
           
protected  BDDBitVector JFactory.createBitVector(int a)
           
protected  BDDBitVector JDDFactory.createBitVector(int a)
           
protected  BDDBitVector CUDDFactory.createBitVector(int a)
           
protected  BDDBitVector CALFactory.createBitVector(int a)
           
protected  BDDBitVector BuDDyFactory.createBitVector(int a)
           
 BDDBitVector BDDBitVector.copy()
           
 BDDBitVector BDDBitVector.coerce(int bitnum)
           
 BDDBitVector BDDBitVector.map2(BDDBitVector that, BDDFactory.BDDOp op)
           
 BDDBitVector BDDBitVector.add(BDDBitVector that)
           
 BDDBitVector BDDBitVector.sub(BDDBitVector that)
           
 BDDBitVector BDDBitVector.shl(int pos, BDD c)
           
 BDDBitVector BDDBitVector.divmod(long c, boolean which)
           
protected abstract  BDDBitVector BDDFactory.createBitVector(int a)
          Implementors must implement this factory method to create BDDBitVector objects of the correct type.
 BDDBitVector BDDFactory.buildVector(int bitnum, boolean b)
          Build a bit vector that is constant true or constant false.
 BDDBitVector BDDFactory.constantVector(int bitnum, long val)
          Build a bit vector that corresponds to a constant value.
 BDDBitVector BDDFactory.constantVector(int bitnum, BigInteger val)
           
 BDDBitVector BDDFactory.buildVector(int bitnum, int offset, int step)
          Build a bit vector using variables offset, offset+step, offset+2*step, ...
 BDDBitVector BDDFactory.buildVector(BDDDomain d)
          Build a bit vector using variables from the given BDD domain.
 BDDBitVector BDDFactory.buildVector(int[] var)
          Build a bit vector using the given variables.
 

Methods in net.sf.javabdd with parameters of type BDDBitVector
 BDDBitVector BDDBitVector.map2(BDDBitVector that, BDDFactory.BDDOp op)
           
 BDDBitVector BDDBitVector.add(BDDBitVector that)
           
 BDDBitVector BDDBitVector.sub(BDDBitVector that)
           
 void BDDBitVector.replaceWith(BDDBitVector that)
           
 



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