3.4.1 Variable Syntax

Variables are named, have a type, and an initial value, which is an expression:

variableType variableName = initialValue;

Supported types are:

• enum: enumerated type.
• bool: boolean type (true, false)
• subint: integer type.

To ensure that an integer variable falls within a finite set (in order to have a limited range of possible paths / states in the system), use a type definition, e.g. subint myInt {0..10}.