Contents

(* Create a step entry to schedule in +steps+ sequence
*  @param procci process identifier to schedule
*  @param procInput an elment in process input set to pass to the process
*  @param ctx context where to resume, Nil if no resume
*)
NewStep( procci, procInput, ctx  ) == [ process  |-> procci, bindRule |-> WildCard ,bindSet  |-> procInput, ctx  |-> ctx ]

     

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
tla-sbuilder-0.3.9	mustache/resources/schedule_operator_new_step.tla
tla-sbuilder-0.3.8	mustache/resources/schedule_operator_new_step.tla
tla-sbuilder-0.3.7	mustache/resources/schedule_operator_new_step.tla
tla-sbuilder-0.3.4	mustache/resources/schedule_operator_new_step.tla