invoke
operator fun <T, P : Position<out P>> invoke(predicate: (Environment<T, P>) -> Boolean): TerminationPredicate<T, P>(source)
Creates a TerminationPredicate from a predicate.
Return
a TerminationPredicate that uses the given predicate
Parameters
predicate
the predicate to use