[ Reference Manual | Alphabetic Index ]library(concurrency)
Engine utilities and higher-level threading functionality
[more]
Predicates
- concurrent(+MaxThreads, +Goals, +Options)
- Execute goals concurrently, using multiple threads
- concurrent_or(+MaxThreads, +Goals, +Options)
- Execute alternative goals concurrently, using multiple threads
- engines
- Print the currently known engines and their properties (to log_output)
- exit_all(+ExitCode)
- Post exit(ExitCode) requests to all engines (except self)
Description
About
- Author: Joachim Schimpf
- Copyright © Coninfer Ltd
- Date: $Date: 2017/09/03 00:50:40 $
Generated from concurrency.eci on 2022-04-24 18:55