Go to the first, previous, next, last section, table of contents.
A state of the model is an assignment of values to a set of state variables. These variables (and also instances of modules) are declared by the notation:
var_declaration :: "VAR"
atom ":" type ";"
atom ":" type ";"
...
The type associated with a variable declaration can be either a boolean, a scalar, a user defined module, or an array of any of these (including arrays of arrays).