yafrl
Toggle table of contents
0.4-SNAPSHOT
common
Platform filter
common
Home
Documentation
Tutorials
GitHub
Switch theme
Search in API
yafrl
yafrl-testing
/
io.github.yafrl.testing
/
LTL
/
evaluateAtTime
evaluate
At
Time
abstract
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
.