Uses of Class
com.github.javabdd.BDDBitVector

Uses of BDDBitVector in com.github.javabdd

Subclasses of BDDBitVector in com.github.javabdd

Modifier and Type	Class	Description
class	BDDFactoryIntImpl.IntBDDBitVector

Methods in com.github.javabdd that return BDDBitVector

Modifier and Type	Method	Description
BDDBitVector	BDDBitVector.add(BDDBitVector that)
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	BDDFactory.buildVector(BDDDomain d)	Build a bit vector using variables from the given BDD domain.
BDDBitVector	BDDBitVector.coerce(int bitnum)
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	BDDBitVector.copy()
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 com.github.javabdd with parameters of type BDDBitVector

Modifier and Type	Method	Description
BDDBitVector	BDDBitVector.add(BDDBitVector that)
BDDBitVector	BDDBitVector.map2(BDDBitVector that, BDDFactory.BDDOp op)
void	BDDBitVector.replaceWith(BDDBitVector that)
BDDBitVector	BDDBitVector.sub(BDDBitVector that)