parser-theory
0.20.9
common
parser-theory
/
it.unibo.tuprolog.theory.parsing
/
ClausesParser
/
parseTheory
parse
Theory
common
open
fun
parseTheory
(
input
:
String
,
operators
:
<ERROR CLASS>
)
:
<ERROR CLASS>
Content copied to clipboard
open
fun
parseTheory
(
input
:
String
)
:
<ERROR CLASS>
Content copied to clipboard