Contents

(******************************************************************
{{META.desc}}
 - modelData {{META.modelData}}
 - template  {{META.template}}
 ******************************************************************)

variables
       steps             = Steps; \* sequence of [ { process |-> {}, parameter |-> {} }]
       step              = Nil;   \* processes currently enabled
       step_parameter    = {};    \* paramter binding for currently enabled processes
       now               = 0;     \* current time
       tx_running        = FALSE; \* TRUE when process is running   

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
tla-sbuilder-0.2.2	mustache/tla/plc_run_state.mustache
tla-sbuilder-0.2.1	mustache/tla/plc_run_state.mustache