net.sf.javabdd
Class BDDFactoryIntImpl.IntBDDVarSetWithFinalizer

java.lang.Object
  extended by net.sf.javabdd.BDDVarSet
      extended by net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
          extended by net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
Enclosing class:
BDDFactoryIntImpl

public class BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
extends BDDFactoryIntImpl.IntBDDVarSet


Nested Class Summary
 
Nested classes/interfaces inherited from class net.sf.javabdd.BDDVarSet
BDDVarSet.DefaultImpl
 
Method Summary
 
Methods inherited from class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
equals, free, getFactory, hashCode, id, intersect, intersectWith, isEmpty, size, toArray, toBDD, toLevelArray, union, union, unionWith, unionWith
 
Methods inherited from class net.sf.javabdd.BDDVarSet
equals, getDomains, toString
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait