[ 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 2020-02-26 22:26