net.sf.javabdd
Class JTLVJavaFactory.JTLVIntBDDVarSetWithFinalizer

java.lang.Object
  extended by net.sf.javabdd.BDDVarSet
      extended by net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
          extended by net.sf.javabdd.JTLVJavaFactory.JTLVIntBDDVarSet
              extended by 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