Sha256: 5a0be3789f7180302e939c3a8d842a023341ab94d634f701fc50c63443cec8ff

Contents?: true

Size: 584 Bytes

Versions: 2

Compression:

Stored size: 584 Bytes

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