net.sf.javabdd
Class JTLVJavaFactory.JTLVIntBDDVarSetWithFinalizer

java.lang.Object
  net.sf.javabdd.BDDVarSet
      net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
          net.sf.javabdd.JTLVJavaFactory.JTLVIntBDDVarSet
              net.sf.javabdd.JTLVJavaFactory.JTLVIntBDDVarSetWithFinalizer

Enclosing class:

JTLVJavaFactory

public class JTLVJavaFactory.JTLVIntBDDVarSetWithFinalizer
extends JTLVJavaFactory.JTLVIntBDDVarSet

Nested Class Summary

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

BDDVarSet.DefaultImpl

Method Summary

Methods inherited from class net.sf.javabdd.JTLVJavaFactory.JTLVIntBDDVarSet

intersect, toString

Methods inherited from class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet

equals, free, getFactory, hashCode, id, intersectWith, isEmpty, size, toArray, toBDD, toLevelArray, union, union, unionWith, unionWith

Methods inherited from class net.sf.javabdd.BDDVarSet

equals, getDomains

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait