8 lines
217 B
Text
8 lines
217 B
Text
# The transition id and label of this description.
|
|
Transition transition
|
|
|
|
# The current state from which this transition transitions.
|
|
State start_state
|
|
|
|
# The desired target state of this transition.
|
|
State goal_state
|