documentation
Toggle table of contents
3.0.5
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
solve
/
it.unibo.tuprolog.solve.flags
/
invoke
invoke
operator
fun
<
T
:
NotableFlag
>
T
.
invoke
(
f
:
T
.
(
)
->
Term
)
:
Pair
<
String
,
Term
>
Operator shorthand for
flag
:
myFlag { someValue }
.