BDDFactoryIntImpl.IntBDDWithFinalizer (com.github.javabdd 2.0.0 API)

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 Description
  
  protected IntBDDWithFinalizer(int v)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  protected void finalize()
  - Methods inherited from class com.github.javabdd.BDDFactoryIntImpl.IntBDD
    apply, applyAll, applyEx, applyUni, applyWith, compose, constrain, equalsBDD, 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, printdot_rec, 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