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

AfterTime

class AfterTime(endTime: Time) : Predicate<Environment<*, *>>

Parameters

endTime

the end time.

Constructors

AfterTime

fun AfterTime(endTime: Time)

Functions

and

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

negate

open fun negate(): Predicate<Environment<*, *>>

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

test

open override fun test(environment: Environment<*, *>): 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.

Properties

endTime

val endTime: Time