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
/
LTLSyntax
/
condition
condition
abstract
fun
condition
(
name
:
String
?
=
null
,
cond
:
ConditionScope
<
W
>
.
(
)
->
Boolean
)
:
LTL
<
W
>
(
source
)