net.sf.javabdd
Class BDDFactoryIntImpl.IntBDDBitVector

java.lang.Object
  extended by net.sf.javabdd.BDDBitVector
      extended by 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