documentation
Toggle table of contents
1.5.1-dev02-c0569c38e
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 }
.