net.sf.javabdd
Class JTLVJavaFactory.JTLVIntBDDVarSet

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