Condition

data class Condition<W>(val name: String?, val cond: ConditionScope<W>.() -> Boolean) : LTL<W> (source)

Constructors

constructor(name: String?, cond: ConditionScope<W>.() -> Boolean)

open override fun evaluateAtTime(world: (Int) -> W, time: Int, maxTraceLength: Int): LTLResult

Evaluate the given LTL proposition with respect to the given data at a specific time.

open override fun toString(): String