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

AfterTime

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

Parameters

endTime

the end time.

Constructors

Link copied to clipboard
constructor(endTime: Time)

Properties

Link copied to clipboard
val endTime: Time

Functions

Link copied to clipboard
open fun and(p0: Predicate<in Environment<T, P>>): Predicate<Environment<T, P>>
Link copied to clipboard
open fun negate(): Predicate<Environment<T, P>>
Link copied to clipboard
open fun or(p0: Predicate<in Environment<T, P>>): Predicate<Environment<T, P>>
Link copied to clipboard
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.