Class EditDistanceGraphStateStack

java.lang.Object
  |
  +--java.util.AbstractCollection
        |
        +--java.util.AbstractList
              |
              +--java.util.Vector
                    |
                    +--java.util.Stack
                          |
                          +--EditDistanceGraphStateStack

public class EditDistanceGraphStateStack
extends java.util.Stack

See Also:
Serialized Form

Fields inherited from class java.util.Vector
capacityIncrement, elementCount, elementData
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
EditDistanceGraphStateStack()
           
 
Method Summary
 void dump()
           
 EditDistanceGraphState nextElement()
           
 void reverse()
           
 EditDistanceGraphState top()
           
 
Methods inherited from class java.util.Stack
empty, peek, pop, push, search
 
Methods inherited from class java.util.Vector
add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, toString, trimToSize
 
Methods inherited from class java.util.AbstractList
iterator, listIterator, listIterator
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

EditDistanceGraphStateStack

public EditDistanceGraphStateStack()
Method Detail

nextElement

public EditDistanceGraphState nextElement()

top

public EditDistanceGraphState top()

reverse

public void reverse()

dump

public void dump()