soot.util

Class NumberedSet<N extends Numberable>

java.lang.Object

soot.util.NumberedSet<N>

public final class NumberedSet<N extends Numberable>
extends java.lang.Object

Holds a set of Numberable objects.

Constructor Summary

Constructors

Constructor and Description
NumberedSet(ArrayNumberer<N> universe)

Method Summary

Modifier and Type	Method and Description
boolean	add(Numberable o)
boolean	contains(Numberable o)
java.util.Iterator<N>	iterator()
int	size()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NumberedSet

public NumberedSet(ArrayNumberer<N> universe)

Method Detail

add

public boolean add(Numberable o)

contains

public boolean contains(Numberable o)

iterator

public java.util.Iterator<N> iterator()

size

public final int size()