addTerminator

abstract fun addTerminator(terminator: TerminationPredicate<T, P>)
open fun addTerminator(terminator: (Environment<T, P>) -> Boolean)

Add a terminator indicating whether the simulation should be considered finished. The simulation finishes as soon as any of the terminators is satisfied.