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

Release

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

Constructors

Link copied to clipboard
constructor(y: LTL<W>, x: 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