Contents

(* Control execution *)

\* RunProcessRunning( stepdefs ) ==  { e.process : e \in Head( stepdefs ) }
RunProcessRunning( stepdefs ) ==  (CHOOSE s \in Head( stepdefs ): TRUE ).process
RunProcessEnabled( stepdefs, s ) == Len( stepdefs ) # 0 /\ s =  RunProcessRunning( stepdefs )
RunProcessesToRun( stepdefs ) == Tail( stepdefs )
RunProcessParameter( stepdefs ) == Head( stepdefs )

RunInTransaction == tx_running                   \* state variable tx_running records transaction state

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
tla-sbuilder-0.2.2	mustache/setup/operator_run.mustache
tla-sbuilder-0.2.1	mustache/setup/operator_run.mustache