yafrl-testing/io.github.yafrl.testing/LTL/Or

Or

data class Or<W>(val x: LTL<W>, val y: LTL<W>) : LTL<W> (source)

Constructors

Link copied to clipboard
constructor(x: LTL<W>, y: LTL<W>)

Properties

Link copied to clipboard
val x: LTL<W>
Link copied to clipboard
val y: LTL<W>

Functions

Link copied to clipboard
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.

Link copied to clipboard
open override fun toString(): String