[ 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 © Cisco Systems, Inc
- Date: $Date: 2012/02/06 13:24:43 $
Generated from timeout.eci on 2022-09-03 14:26