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

Method Summary

BDDFactory

getFactory()

Methods inherited from class net.sf.javabdd.BDDBitVector

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

Methods inherited from class java.lang.Object

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

Method Detail

getFactory

public BDDFactory getFactory()

Specified by:

getFactory in class BDDBitVector