parser-theory
0.20.9
jvm
parser-theory
/
it.unibo.tuprolog.theory.parsing
/
ClausesReader
/
Companion
Companion
jvm
object
Companion
Content copied to clipboard
Functions
Functions
with
Default
Operators
Link copied to clipboard
jvm
@
JvmStatic
fun
withDefaultOperators
(
)
:
ClausesReader
Content copied to clipboard
with
No
Operator
Link copied to clipboard
jvm
@
JvmStatic
fun
withNoOperator
(
)
:
ClausesReader
Content copied to clipboard
with
Operators
Link copied to clipboard
jvm
@
JvmStatic
fun
withOperators
(
operators
:
OperatorSet
)
:
ClausesReader
Content copied to clipboard
@
JvmStatic
fun
withOperators
(
vararg
operators
:
Operator
)
:
ClausesReader
Content copied to clipboard
with
Standard
Operators
Link copied to clipboard
jvm
@
JvmStatic
fun
withStandardOperators
(
)
:
ClausesReader
Content copied to clipboard