net.sf.javabdd
Class BDDBitVector
java.lang.Object
net.sf.javabdd.BDDBitVector
- Direct Known Subclasses:
- BDDFactoryIntImpl.IntBDDBitVector
public abstract class BDDBitVector
- extends java.lang.Object
Bit vector implementation for BDDs.
- Version:
- $Id: BDDBitVector.html,v 1.1.2.1 2009/02/16 18:41:06 sya Exp $
- Author:
- John Whaley
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
getFactory
public abstract BDDFactory getFactory()
copy
public BDDBitVector copy()
coerce
public BDDBitVector coerce(int bitnum)
isConst
public boolean isConst()
val
public int val()
free
public void free()
map2
public BDDBitVector map2(BDDBitVector that,
BDDFactory.BDDOp op)
add
public BDDBitVector add(BDDBitVector that)
sub
public BDDBitVector sub(BDDBitVector that)
replaceWith
public void replaceWith(BDDBitVector that)
shl
public BDDBitVector shl(int pos,
BDD c)
divmod
public BDDBitVector divmod(long c,
boolean which)
size
public int size()
getBit
public BDD getBit(int n)