net.sf.javabdd
Class BDDFactoryIntImpl.IntBDDWithFinalizer

java.lang.Object
  net.sf.javabdd.BDD
      net.sf.javabdd.BDDFactoryIntImpl.IntBDD
          net.sf.javabdd.BDDFactoryIntImpl.IntBDDWithFinalizer

Enclosing class:

BDDFactoryIntImpl

public class BDDFactoryIntImpl.IntBDDWithFinalizer
extends BDDFactoryIntImpl.IntBDD

Nested Class Summary

Nested classes/interfaces inherited from class net.sf.javabdd.BDD

BDD.AllSatIterator, BDD.BDDIterator, BDD.BDDToString

Field Summary

Fields inherited from class net.sf.javabdd.BDDFactoryIntImpl.IntBDD

v

Constructor Summary

protected

BDDFactoryIntImpl.IntBDDWithFinalizer(int v)

Method Summary

protected void

finalize()

Methods inherited from class net.sf.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 net.sf.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

BDDFactoryIntImpl.IntBDDWithFinalizer

protected BDDFactoryIntImpl.IntBDDWithFinalizer(int v)

Method Detail

finalize

protected void finalize()
                 throws Throwable

Overrides:

finalize in class Object

Throws:

Throwable