FSM Action Language
The actions associated with states, transitions and default entrances as well as transition guard conditions are defined using statements of the FSM action language.
This section exemplifies the usage of the different categories of built-in functions, given by the FSM action language.
Transition Guard Condition Examples
Basically, transition guard conditions are boolean C/C++ expressions, which either evaluate to true or false.