joeq.Compiler.Analysis.Primitive
Class PrimitivePACallGraph.BDDSet

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractSet
          joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph.BDDSet

All Implemented Interfaces:

Iterable, Collection, Set

Enclosing class:

PrimitivePACallGraph

public static class PrimitivePACallGraph.BDDSet
extends AbstractSet

Constructor Summary

PrimitivePACallGraph.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

PrimitivePACallGraph.BDDSet

public PrimitivePACallGraph.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