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

False

class False<W> : LTL<W> (source)

Constructors

Link copied to clipboard
constructor()

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.