avrora.stack
Class StateTransitionGraph.StateInfo

java.lang.Object
  avrora.stack.StateTransitionGraph.StateInfo

Enclosing class:

StateTransitionGraph

public static class StateTransitionGraph.StateInfo

extends java.lang.Object

The StateInfo class is a representation of both the forward and backward edge list corresponding to a node in the state transition graph. It also stores a cache of reachable return states (based on backwards reachability search).

Field Summary

StateTransitionGraph.Edge	backwardEdges
StateTransitionGraph.Edge	forwardEdges
StateCache.State	state
StateCache.Set	stateSet

Method Summary

StateTransitionGraph.Edge

addEdge(int type, int weight, StateCache.State target)

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

stateSet

public StateCache.Set stateSet

forwardEdges

public StateTransitionGraph.Edge forwardEdges

backwardEdges

public StateTransitionGraph.Edge backwardEdges

Method Detail

addEdge

public StateTransitionGraph.Edge addEdge(int type,
                                         int weight,
                                         StateCache.State target)