soot.util
Class NumberedSet

java.lang.Object
  |
  +--soot.util.NumberedSet

public final class NumberedSet
extends java.lang.Object

Holds a set of Numberable objects.


Constructor Summary
NumberedSet(Numberer universe)
           
 
Method Summary
 boolean add(Numberable o)
           
 boolean contains(Numberable o)
           
 java.util.Iterator 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(Numberer universe)
Method Detail

add

public boolean add(Numberable o)

contains

public boolean contains(Numberable o)

iterator

public java.util.Iterator iterator()

size

public final int size()