net.sf.javabdd
Class BDDFactoryIntImpl.IntZDDVarSetWithFinalizer

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

public class BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
extends BDDFactoryIntImpl.IntZDDVarSet


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