alchemist-api/it.unibo.alchemist.model/TerminationPredicate/invoke

invoke

abstract operator override fun invoke(environment: Environment<T, P>): Boolean(source)