SPARK Documentation

Module Name: SPARK (spark.lang.temporal)
Organization(s): SRI International
Generated On: 02 Aug 2006 11:37AM

Listing for module spark.lang.temporal

This is auto-generated documentation.

Contents:

Predicates

Deadline $taskid $time
$taskid has a deadline of $time
ProcedureTaskStructure $proc $ts
Return the task structure of a procedure
TemporalTaskInfo $pi $ts
Return the task instance structure of a procedure instance if there is at least one deadline

Functions

avgExecTime $time
A property of an action: the average execution time
avgRecoveryTime $time
A property of an action: the average recovery time if the action fails