joeq.Compiler.Analysis.IPA
Class PACallGraph.BDDSet

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractSet
          joeq.Compiler.Analysis.IPA.PACallGraph.BDDSet

All Implemented Interfaces:

Iterable, Collection, Set

Enclosing class:

PACallGraph

public static class PACallGraph.BDDSet
extends AbstractSet

Constructor Summary

PACallGraph.BDDSet(net.sf.javabdd.BDD b, net.sf.javabdd.BDDDomain d, jwutil.collections.IndexedMap map)

Method Summary

Iterator	iterator()
int	size()

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

add, addAll, clear, contains, containsAll, isEmpty, remove, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, isEmpty, remove, retainAll, toArray, toArray

Constructor Detail

PACallGraph.BDDSet

public PACallGraph.BDDSet(net.sf.javabdd.BDD b,
                          net.sf.javabdd.BDDDomain d,
                          jwutil.collections.IndexedMap map)

Method Detail

size

public int size()

Specified by:

size in interface Collection

Specified by:

size in interface Set

Specified by:

size in class AbstractCollection

iterator

public Iterator iterator()

Specified by:

iterator in interface Iterable

Specified by:

iterator in interface Collection

Specified by:

iterator in interface Set

Specified by:

iterator in class AbstractCollection