parser-theory
/
it.unibo.tuprolog.theory.parsing
/
parseAsTheory
common
parse
As
Theory
fun
String
.
parseAsTheory
(operators:
OperatorSet
):
Theory
Content copied to clipboard
fun
String
.
parseAsTheory
():
Theory
Content copied to clipboard