Uses of Class
net.sf.javabdd.BDDBitVector

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, BigInteger val)
BDDBitVector	BDDFactory.constantVector(int bitnum, long val) Build a bit vector that corresponds to a constant value.
BDDBitVector	BDDBitVector.copy()
protected BDDBitVector	TypedBDDFactory.createBitVector(int a)
protected BDDBitVector	TestBDDFactory.createBitVector(int a)
protected BDDBitVector	CUDDFactory.createBitVector(int a)
protected BDDBitVector	CALFactory.createBitVector(int a)
protected BDDBitVector	BDDFactory.createBitVector(int a) Implementors must implement this factory method to create BDDBitVector objects of the correct type.
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)