soot.util
Class NumberedSet
java.lang.Object
soot.util.NumberedSet
- public final class NumberedSet
- extends Object
Holds a set of Numberable objects.
- Author:
- Ondrej Lhotak
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
NumberedSet
public NumberedSet(ArrayNumberer universe)
add
public boolean add(Numberable o)
contains
public boolean contains(Numberable o)
iterator
public Iterator iterator()
size
public final int size()