Package com.github.javabdd

Class BDDBitVector

java.lang.Object

com.github.javabdd.BDDBitVector

Direct Known Subclasses:

BDDFactoryIntImpl.IntBDDBitVector

public abstract class BDDBitVector
extends Object

Bit vector implementation for BDDs.

Field Summary

Fields

Modifier and Type	Field	Description
protected BDD[]	bitvec

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BDDBitVector(int bitnum)

Method Summary

Modifier and Type	Method	Description
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()
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)
protected void	initialize(BDDDomain d)
protected void	initialize(BigInteger val)
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

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(BigInteger 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)

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)