net.sf.javabdd
Class BDDFactoryIntImpl.IntZDDVarSetWithFinalizer

java.lang.Object
  net.sf.javabdd.BDDVarSet
      net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
          net.sf.javabdd.BDDFactoryIntImpl.IntZDDVarSet
              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

Constructor Summary

protected

BDDFactoryIntImpl.IntZDDVarSetWithFinalizer(int v)

Method Summary

protected void

finalize()

Methods inherited from class net.sf.javabdd.BDDFactoryIntImpl.IntZDDVarSet

do_intersect, do_union, do_unionvar

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

clone, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BDDFactoryIntImpl.IntZDDVarSetWithFinalizer

protected BDDFactoryIntImpl.IntZDDVarSetWithFinalizer(int v)

Method Detail

finalize

protected void finalize()
                 throws Throwable

Overrides:

finalize in class Object

Throws:

Throwable