alchemist/it.unibo.alchemist.model.terminators/StepCount/invoke

invoke

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