|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |