BDDFactoryIntImpl.IntZDDVarSetWithFinalizer (com.github.javabdd 3.0.0 API)

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
  
  All Methods Instance Methods Concrete Methods
  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 Detail
  - IntZDDVarSetWithFinalizer
```
protected IntZDDVarSetWithFinalizer(int v)
```
- Method Detail
  - finalize
```
protected void finalize()
                 throws Throwable
```
    Overrides:
    
    finalize in class Object
    
    Throws:
    
    Throwable