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

evaluateAtTime

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

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