Contents

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

variables
  \* sequence of [ { process |-> {}, parameter |-> {} }]
  steps             = Steps;
  \* process currently running = self with _ replcing non-numeric
  step              = Nil;
  \* head from +steps+ sequence used to schedule +step+
  step_parameter    = {};
  \* input to process - modified if check_possibility
  step_input        = Nil;
  \* current time tick, each process run in own tick
  now               = 0;
  \* TRUE when process is running   
  tx_running        = FALSE;
  \* rec [ ret_ctx |->  stack entry push in resume ], when resuming, Nil when not
  resume_context    = Nil;   

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
tla-sbuilder-0.3.9	mustache/tla/plc_run_state.mustache
tla-sbuilder-0.3.8	mustache/tla/plc_run_state.mustache
tla-sbuilder-0.3.7	mustache/tla/plc_run_state.mustache