Package com.github.javabdd

Class BDDFactoryIntImpl.IntZDDVarSetWithFinalizer

java.lang.Object

com.github.javabdd.BDDVarSet

com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

com.github.javabdd.BDDFactoryIntImpl.IntZDDVarSet

com.github.javabdd.BDDFactoryIntImpl.IntZDDVarSetWithFinalizer

Enclosing class:

BDDFactoryIntImpl

public class BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
extends BDDFactoryIntImpl.IntZDDVarSet

Nested Class Summary

Nested classes/interfaces inherited from class com.github.javabdd.BDDVarSet

BDDVarSet.DefaultImpl

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	IntZDDVarSetWithFinalizer(int v)

Method Summary

Modifier and Type	Method	Description
protected void	finalize()

Methods inherited from class com.github.javabdd.BDDFactoryIntImpl.IntZDDVarSet

do_intersect, do_union, do_unionvar

Methods inherited from class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

equalsBDDVarSet, free, getFactory, hashCode, id, intersect, intersectWith, isEmpty, size, toArray, toBDD, toLevelArray, union, union, unionWith, unionWith

Methods inherited from class com.github.javabdd.BDDVarSet

equals, getDomains, toString

Methods inherited from class java.lang.Object

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

Constructor Details

IntZDDVarSetWithFinalizer

protected IntZDDVarSetWithFinalizer(int v)

Method Details

finalize

protected void finalize()
                 throws Throwable

Overrides:

finalize in class Object

Throws:

Throwable