joeq.Compiler.Quad
Class PointerExplorer.InlineSet

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractSet
          joeq.Compiler.Quad.PointerExplorer.InlineSet

All Implemented Interfaces:

Iterable, Collection, Set

Enclosing class:

PointerExplorer

public static class PointerExplorer.InlineSet
extends AbstractSet

Constructor Summary

PointerExplorer.InlineSet(Set s, boolean c)

Method Summary

boolean	containsAll(Collection arg0)
boolean	isComplete()
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, 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, isEmpty, remove, retainAll, toArray, toArray

Constructor Detail

PointerExplorer.InlineSet

public PointerExplorer.InlineSet(Set s,
                                 boolean c)

Method Detail

isComplete

public boolean isComplete()

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

size

public int size()

Specified by:

size in interface Collection

Specified by:

size in interface Set

Specified by:

size in class AbstractCollection

containsAll

public boolean containsAll(Collection arg0)

Specified by:

containsAll in interface Collection

Specified by:

containsAll in interface Set

Overrides:

containsAll in class AbstractCollection