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 )

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
tla-sbuilder-0.1.0	mustache/setup/operator_run.mustache