parser-jvm
/
it.unibo.tuprolog.parser
/
PrologParser
/
TheoryContext
/
TheoryContext
Theory
Context
open fun
TheoryContext
(parent:
ParserRuleContext
, invokingState:
Int
)
Content copied to clipboard