avrora.stack
Class StateTransitionGraph.StateList

java.lang.Object
  avrora.stack.StateTransitionGraph.StateList

Enclosing class:

StateTransitionGraph

public static class StateTransitionGraph.StateList

extends java.lang.Object

Field Summary

StateTransitionGraph.StateList	next
StateCache.State	state

Methods inherited from class java.lang.Object

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

Field Detail

state

public final StateCache.State state

next

public final StateTransitionGraph.StateList next