add_state_transition(state, kind, tree)

Add a new transition starting from a state.

Parameters:

stateEX

Source of the transition.

kindTK

Kind of transition.

treeTR

Transition tree, which is the intermediate structure describing the transition.

Returns:

suite.Transition