Global variables

In addition to local variables in modules, a ProFeat model can also contain global variables. A global variables can have the same types as local variables. Globals are defined using the global keyword:

global x : [0 .. 2];
global b : bool init true;
global a : array [0 .. 2] of [0 .. 1] init 0;