Package com.github.javabdd

Class BDDFactoryIntImpl.IntBDDBitVector

java.lang.Object

com.github.javabdd.BDDBitVector

com.github.javabdd.BDDFactoryIntImpl.IntBDDBitVector

Enclosing class:

BDDFactoryIntImpl

public class BDDFactoryIntImpl.IntBDDBitVector
extends BDDBitVector

Field Summary

Fields inherited from class com.github.javabdd.BDDBitVector

bitvec

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	IntBDDBitVector(int bitnum)

Method Summary

Modifier and Type	Method	Description
BDDFactory	getFactory()

Methods inherited from class com.github.javabdd.BDDBitVector

add, coerce, copy, divmod, free, getBit, initialize, initialize, initialize, initialize, initialize, initialize, initialize, isConst, map2, replaceWith, shl, size, sub, val

Methods inherited from class java.lang.Object

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

Constructor Details

IntBDDBitVector

protected IntBDDBitVector(int bitnum)

Method Details

getFactory

public BDDFactory getFactory()

Specified by:

getFactory in class BDDBitVector