Companion
Factory for TerminationPredicate instances.
Functions
Link copied to clipboard
operator fun <T, P : Position<out P>> invoke(predicate: (Environment<T, P>) -> Boolean): TerminationPredicate<T, P>
Creates a TerminationPredicate from a predicate.