[ Reference Manual | Alphabetic Index ]library(timeout_simple)
Impose time limit for goals (special version)
[more]
Predicates
- 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.
Description
This library prvides the same predicates as lib(timeout),
with the following differences:
1. timeouts can abort certain long-running built-in predicates,
like looping unifications.
2. timeout predicates cannot be nested.
3. it uses timer events directly, and thus cannot be used together
with after-events.
About
- Author: Andrew Cheadle, Joachim Schimpf, IC-Parc
- Copyright © Cisco Systems, Inc
- Date: $Date: 2012/10/25 13:29:01 $
Generated from timeout_simple.eci on 2022-09-03 14:26