avrora.stack
Class StateTransitionGraph.EdgeList

java.lang.Object
  avrora.stack.StateTransitionGraph.EdgeList

Enclosing class:

StateTransitionGraph

public static class StateTransitionGraph.EdgeList

extends java.lang.Object

Field Summary

StateTransitionGraph.Edge	edge
StateTransitionGraph.EdgeList	next

Methods inherited from class java.lang.Object

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

Field Detail

edge

public final StateTransitionGraph.Edge edge

next

public final StateTransitionGraph.EdgeList next