solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve
/
getAllOperators
get
All
Operators
common
fun
Iterable
<
<ERROR CLASS>
>
.
getAllOperators
(
)
:
Sequence
<
<ERROR CLASS>
>
Content copied to clipboard
fun
Library
.
getAllOperators
(
)
:
Sequence
<
<ERROR CLASS>
>
Content copied to clipboard
fun
Libraries
.
getAllOperators
(
)
:
Sequence
<
<ERROR CLASS>
>
Content copied to clipboard
fun
getAllOperators
(
libraries
:
Libraries
,
vararg
theories
:
<ERROR CLASS>
)
:
Sequence
<
<ERROR CLASS>
>
Content copied to clipboard