parser-jvm
/
it.unibo.tuprolog.parser
/
PrologParserBaseListener
/
enterTheory
enter
Theory
open fun
enterTheory
(ctx:
PrologParser.TheoryContext
)
Content copied to clipboard
Enter a parse tree produced by PrologParser#theory.
The default implementation does nothing.