[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]library(timeout)
Impose time limit for goals
Predicates
- call_timeout_safe(+Goal)
- Execute Goal, deferring the execution of an interrupting timeout predicate TimeOutGoal until Goal completes.
- timeout(+Goal, ++TimeLimit, +TimeOutGoal)
- Run the goal Goal for a maximum of TimeLimit seconds.
- timeout(+Goal, ++TimeLimit, +TimeOutGoal, ++SolutionMode, ?Timer, ?DueTime, ?TimeRemaining)
- Run the goal Goal for a maximum of TimeLimit seconds.
About
- Author: Andrew Cheadle, Joachim Schimpf, IC-Parc
- Copyright © Imperial College London and Parc Technologies Ltd
- Date: $Date: 2004/06/11 18:00:49 $
Generated from timeout.eci on Sat Aug 7 01:44:29 2004