protected static class PdaUtil.TraversalItem<S,R> extends java.lang.Object
protected R
data
protected java.util.Iterator<S>
followers
protected S
state
PdaUtil.TraversalItem(S state, java.lang.Iterable<S> followers, R previous)
boolean
equals(java.lang.Object obj)
int
hashCode()
java.lang.String
toString()
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
protected R data
protected java.util.Iterator<S> followers
protected S state
public PdaUtil.TraversalItem(S state, java.lang.Iterable<S> followers, R previous)
public boolean equals(java.lang.Object obj)
equals
java.lang.Object
public int hashCode()
hashCode
public java.lang.String toString()
toString