37.1.1

alchemist/it.unibo.alchemist.model.terminators/AfterTime

AfterTime

data class AfterTime<T, P : Position<P>>(val endTime: Time) : TerminationPredicate<T, P>

Parameters

endTime

the end time.

Constructors

constructor(endTime: Time)

Properties

val endTime: Time

Functions

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

open fun or(other: TerminationPredicate<T, P>): TerminationPredicate<T, P>

Builds a predicate that is true if both this and the other predicate are true.

open fun test(environment: Environment<T, P>): Boolean

Same as invoke.