State

A container of Jumps and Flows. Every State also has an id to identify itself in the Jumps of other States within the same Agent or Automaton.

Arguments

• id: A string with the unique identifier of the State.

Usage

State{
    id = "working"
}