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
          

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
tla-sbuilder-0.1.0	mustache/tla/plc_run_state.mustache