net.sf.javabdd
Class JTLVJavaFactory.JTLVIntBDDVarSet

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

Direct Known Subclasses:

JTLVJavaFactory.JTLVIntBDDVarSetWithFinalizer, JTLVJavaFactory.JTLVIntZDDVarSet

Enclosing class:

JTLVJavaFactory

public class JTLVJavaFactory.JTLVIntBDDVarSet
extends BDDFactoryIntImpl.IntBDDVarSet

Nested Class Summary

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

BDDVarSet.DefaultImpl

Method Summary

BDDVarSet	intersect(BDDVarSet b)
java.lang.String	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

Method Detail

intersect

public BDDVarSet intersect(BDDVarSet b)

Overrides:

intersect in class BDDFactoryIntImpl.IntBDDVarSet

toString

public java.lang.String toString()

Overrides:

toString in class BDDVarSet