com.github.javabdd

Class BDDFactoryIntImpl.IntBDDVarSetWithFinalizer

java.lang.Object

com.github.javabdd.BDDVarSet

com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSetWithFinalizer

Enclosing class:

BDDFactoryIntImpl

public class BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
extends BDDFactoryIntImpl.IntBDDVarSet

Nested Class Summary

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

BDDVarSet.DefaultImpl

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IntBDDVarSetWithFinalizer(int v)

Method Summary

Modifier and Type	Method and Description
protected void	finalize()

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

do_intersect, do_union, do_unionvar, equals, 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 Detail

IntBDDVarSetWithFinalizer

protected IntBDDVarSetWithFinalizer(int v)

Method Detail

finalize

protected void finalize()
                 throws Throwable

Overrides:

finalize in class Object

Throws:

Throwable