Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD