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 and Description
protected	IntBDDBitVector(int bitnum)

Method Summary

Modifier and Type	Method and 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 Detail

IntBDDBitVector

protected IntBDDBitVector(int bitnum)

Method Detail

getFactory

public BDDFactory getFactory()

Specified by:

getFactory in class BDDBitVector