com.github.javabdd

Class BDDFactoryIntImpl.IntBDDWithFinalizer

java.lang.Object

com.github.javabdd.BDD

com.github.javabdd.BDDFactoryIntImpl.IntBDD

com.github.javabdd.BDDFactoryIntImpl.IntBDDWithFinalizer

Enclosing class:

BDDFactoryIntImpl

public class BDDFactoryIntImpl.IntBDDWithFinalizer
extends BDDFactoryIntImpl.IntBDD

Nested Class Summary

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

BDD.AllSatIterator, BDD.BDDIterator, BDD.BDDToString

Field Summary

Fields inherited from class com.github.javabdd.BDDFactoryIntImpl.IntBDD

v

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IntBDDWithFinalizer(int v)

Method Summary

Modifier and Type	Method and Description
protected void	finalize()

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

apply, applyAll, applyEx, applyUni, applyWith, compose, constrain, equals, exist, forAll, free, fullSatOne, getFactory, hashCode, high, id, isOne, isUniverse, isZero, ite, level, low, nodeCount, not, pathCount, replace, replaceWith, restrict, restrictWith, satCount, satOne, satOne, simplify, support, toVarSet, unique, var, varProfile, veccompose

Methods inherited from class com.github.javabdd.BDD

allsat, and, andWith, biimp, biimpWith, equals, imp, impWith, iterator, logSatCount, logSatCount, or, orWith, printdot_rec, printDot, printSet, printSetWithDomains, relprod, satCount, scanAllVar, scanVar, toString, toStringWithDomains, toStringWithDomains, xor, xorWith

Methods inherited from class java.lang.Object

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

Constructor Detail

IntBDDWithFinalizer

protected IntBDDWithFinalizer(int v)

Method Detail

finalize

protected void finalize()
                 throws Throwable

Overrides:

finalize in class Object

Throws:

Throwable