net.sf.javabdd
Class BDDBitVector

java.lang.Object
  extended by 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

Method Summary
 BDDBitVector add(BDDBitVector that)
           
 BDDBitVector coerce(int bitnum)
           
 BDDBitVector copy()
           
 BDDBitVector divmod(long c, boolean which)
           
 void free()
           
 BDD getBit(int n)
           
abstract  BDDFactory getFactory()
           
 boolean isConst()
           
 BDDBitVector map2(BDDBitVector that, BDDFactory.BDDOp op)
           
 void replaceWith(BDDBitVector that)
           
 BDDBitVector shl(int pos, BDD c)
           
 int size()
           
 BDDBitVector sub(BDDBitVector that)
           
 int val()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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)