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

AfterTime

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

Terminates the simulation when a given time is reached.

Type Parameters

T

the concentration type

P

the position type

Constructors

constructor(endTime: Time)

Properties

val endTime: Time

the end time at which the simulation should terminate

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.

context(environment: Environment<T, P>)
operator fun <T, P : Position<P>> TerminationPredicate<T, P>.unaryMinus()

Registers this TerminationPredicate into the current Environment.