net.sf.javabdd
Class BDDFactoryIntImpl.IntBDDBitVector

java.lang.Object
  net.sf.javabdd.BDDBitVector
      net.sf.javabdd.BDDFactoryIntImpl.IntBDDBitVector

Enclosing class:

BDDFactoryIntImpl

public class BDDFactoryIntImpl.IntBDDBitVector
extends BDDBitVector

Field Summary

Fields inherited from class net.sf.javabdd.BDDBitVector

bitvec

Constructor Summary

protected

BDDFactoryIntImpl.IntBDDBitVector(int bitnum)

Method Summary

BDDFactory

getFactory()

Methods inherited from class net.sf.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

BDDFactoryIntImpl.IntBDDBitVector

protected BDDFactoryIntImpl.IntBDDBitVector(int bitnum)

Method Detail

getFactory

public BDDFactory getFactory()

Specified by:

getFactory in class BDDBitVector