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

Not

data class Not<W>(val cond: LTL<W>) : LTL<W> (source)

Constructors

Link copied to clipboard
constructor(cond: LTL<W>)

Properties

Link copied to clipboard
val cond: 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