Uses of Class
net.sf.javabdd.BDDBitVector

Packages that use BDDBitVector
net.sf.javabdd   
 

Uses of BDDBitVector in net.sf.javabdd
 

Subclasses of BDDBitVector in net.sf.javabdd
 class BDDFactoryIntImpl.IntBDDBitVector
           
 

Methods in net.sf.javabdd that return BDDBitVector
 BDDBitVector BDDBitVector.add(BDDBitVector that)
           
 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.
 BDDBitVector BDDFactory.buildVector(int bitnum, boolean b)
          Build a bit vector that is constant true or constant false.
 BDDBitVector BDDFactory.buildVector(int bitnum, int offset, int step)
          Build a bit vector using variables offset, offset+step, offset+2*step, ...
 BDDBitVector BDDBitVector.coerce(int bitnum)
           
 BDDBitVector BDDFactory.constantVector(int bitnum, java.math.BigInteger val)
           
 BDDBitVector BDDFactory.constantVector(int bitnum, long val)
          Build a bit vector that corresponds to a constant value.
 BDDBitVector BDDBitVector.copy()
           
 BDDBitVector BDDBitVector.divmod(long c, boolean which)
           
 BDDBitVector BDDBitVector.map2(BDDBitVector that, BDDFactory.BDDOp op)
           
 BDDBitVector BDDBitVector.shl(int pos, BDD c)
           
 BDDBitVector BDDBitVector.sub(BDDBitVector that)
           
 

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