Functions for running concurrent workers to search for valid worldlines.
Functions for running concurrent workers to search for valid worldlines.
(search-worldlines thread-count model thread-results)
Run up to thread-count
worker threads to search through worldlines
starting from the given model
to find valid linearizations of the
thread-results
.
Run up to `thread-count` worker threads to search through worldlines starting from the given `model` to find valid linearizations of the `thread-results`.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close