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

AfterTime

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

Parameters

endTime

the end time.

Constructors

constructor(endTime: Time)

Properties

val endTime: Time

Functions

open fun and(p0: Predicate<in Environment<T, P>>): Predicate<Environment<T, P>>

open fun negate(): Predicate<Environment<T, P>>

open fun or(p0: Predicate<in Environment<T, P>>): Predicate<Environment<T, P>>

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

Tries to access the simulation time from the environment. If the simulation is unaccessible, throws an exception. Otherwise, reads the current time, and flips to true once it got past the provided endTime.