EmbASP-CSharp
|
Public Member Functions | |
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... | |
Static Public Member Functions | |
static void | Parse (IASPDataCollection answerSets, string atomsList, bool two_stageParsing) |
Definition at line 7 of file ClingoParserBaseVisitorImplementation.cs.
|
inlinevirtual |
Visit a parse tree produced by ClingoParser.answer_set.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Reimplemented from ClingoParserBaseVisitor< object >.
Definition at line 16 of file ClingoParserBaseVisitorImplementation.cs.
|
inlinevirtual |
Visit a parse tree produced by ClingoParser.model.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Reimplemented from ClingoParserBaseVisitor< object >.
Definition at line 23 of file ClingoParserBaseVisitorImplementation.cs.
|
inlinevirtual |
Visit a parse tree produced by ClingoParser.predicate_atom.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Reimplemented from ClingoParserBaseVisitor< object >.
Definition at line 39 of file ClingoParserBaseVisitorImplementation.cs.