|
override object | VisitAnswer_set (ClingoParser.Answer_setContext context) |
| Visit a parse tree produced by ClingoParser.answer_set. More...
|
|
override object | VisitModel (ClingoParser.ModelContext context) |
| Visit a parse tree produced by ClingoParser.model. More...
|
|
override object | VisitPredicate_atom (ClingoParser.Predicate_atomContext context) |
| Visit a parse tree produced by ClingoParser.predicate_atom. More...
|
|
virtual Result | VisitOutput ([NotNull] ClingoParser.OutputContext context) |
| Visit a parse tree produced by ClingoParser.output. More...
|
|
virtual Result | VisitTerm ([NotNull] ClingoParser.TermContext context) |
| Visit a parse tree produced by ClingoParser.term. More...
|
|
◆ Parse()
static void it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.Parse |
( |
IASPDataCollection |
answerSets, |
|
|
string |
atomsList, |
|
|
bool |
two_stageParsing |
|
) |
| |
|
inlinestatic |
◆ VisitAnswer_set()
override object it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.VisitAnswer_set |
( |
ClingoParser.Answer_setContext |
context | ) |
|
|
inlinevirtual |
Visit a parse tree produced by ClingoParser.answer_set.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
- Parameters
-
<return>The visitor result.</return>
Reimplemented from ClingoParserBaseVisitor< object >.
◆ VisitModel()
override object it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.VisitModel |
( |
ClingoParser.ModelContext |
context | ) |
|
|
inlinevirtual |
Visit a parse tree produced by ClingoParser.model.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
- Parameters
-
<return>The visitor result.</return>
Reimplemented from ClingoParserBaseVisitor< object >.
◆ VisitPredicate_atom()
override object it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.VisitPredicate_atom |
( |
ClingoParser.Predicate_atomContext |
context | ) |
|
|
inlinevirtual |
Visit a parse tree produced by ClingoParser.predicate_atom.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
- Parameters
-
<return>The visitor result.</return>
Reimplemented from ClingoParserBaseVisitor< object >.
The documentation for this class was generated from the following file: