Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> sf >> [ javabdd overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.sf.javabdd
Class BDDBitVector  

java.lang.Object
  org.sf.javabdd.BDDBitVector

Direct Known Subclasses:

BuDDyFactory.BuDDyBDDBitVector, CUDDFactory.CUDDBDDBitVector, JavaFactory.bvec, TestBDDFactory.TestBDDBitVector

---

public abstract class BDDBitVector

extends java.lang.Object

Bit vector implementation for BDDs.

Version:

$Id: BDDBitVector.java,v 1.3 2003/11/01 00:45:43 joewhaley Exp $

---

Field Summary
protected  BDD[]	bitvec

 

Constructor Summary
protected	BDDBitVector(int bitnum)

 

Method Summary
BDDBitVector	add(BDDBitVector that)
BDDBitVector	coerce(int bitnum)
BDDBitVector	copy()
(package private) static void	div_rec(BDDBitVector divisor, BDDBitVector remainder, BDDBitVector result, int step)
BDDBitVector	divmod(long c, boolean which)
void	free()
BDD	getBit(int n)
abstract  BDDFactory	getFactory()
protected  void	initialize(BDDDomain d)
protected  void	initialize(boolean isTrue)
protected  void	initialize(int val)
protected  void	initialize(int[] var)
protected  void	initialize(int offset, int step)
protected  void	initialize(long val)
boolean	isConst()
(package private)  BDD	lte(BDDBitVector r)
BDDBitVector	map2(BDDBitVector that, BDDFactory.BDDOp op)
void	replaceWith(BDDBitVector that)
BDDBitVector	shl(int pos, BDD c)
(package private)  BDDBitVector	shr(int pos, BDD c)
int	size()
BDDBitVector	sub(BDDBitVector that)
int	val()

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

bitvec

protected BDD[] bitvec

Constructor Detail

BDDBitVector

protected BDDBitVector(int bitnum)

Method Detail

initialize

protected void initialize(boolean isTrue)

---

initialize

protected void initialize(int val)

---

initialize

protected void initialize(long val)

---

initialize

protected void initialize(int offset,
                          int step)

---

initialize

protected void initialize(BDDDomain d)

---

initialize

protected void initialize(int[] var)

---

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)

---

lte

BDD lte(BDDBitVector r)

---

div_rec

static void div_rec(BDDBitVector divisor,
                    BDDBitVector remainder,
                    BDDBitVector result,
                    int step)

---

replaceWith

public void replaceWith(BDDBitVector that)

---

shl

public BDDBitVector shl(int pos,
                        BDD c)

---

shr

BDDBitVector shr(int pos,
                 BDD c)

---

divmod

public BDDBitVector divmod(long c,
                           boolean which)

---

size

public int size()

---

getBit

public BDD getBit(int n)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> sf >> [ javabdd overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---