requestStop

fun requestStop(msg: String? = null)(source)

Requests a graceful stop of the whole run: members that have not started will not start, and every in-flight member solver is signaled via its stopIterations mechanism, so it exits after its current iteration. Idempotent; safe from any thread.

Parameters

msg

an optional message describing why the run is stopping