[ 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


Generated from timeout.eci on Mon Mar 31 03:13:56 2008