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