parser-theory
0.20.9
jvm
parser-theory
/
it.unibo.tuprolog.theory.parsing
/
ClausesReader
/
Companion
/
withOperators
with
Operators
jvm
@
JvmStatic
fun
withOperators
(
operators
:
OperatorSet
)
:
ClausesReader
Content copied to clipboard
@
JvmStatic
fun
withOperators
(
vararg
operators
:
Operator
)
:
ClausesReader
Content copied to clipboard