EmbASP-CSharp v7.1.0
|
This interface defines a complete generic visitor for a parse tree produced by DLVHEXParser. More...
Public Member Functions | |
Result | VisitGroundQuery ([NotNull] DLVHEXParser.GroundQueryContext context) |
Visit a parse tree produced by the GroundQuery labeled alternative in DLVHEXParser.answer_set. More... | |
Result | VisitModel ([NotNull] DLVHEXParser.ModelContext context) |
Visit a parse tree produced by the Model labeled alternative in DLVHEXParser.answer_set. More... | |
Result | VisitAtoms ([NotNull] DLVHEXParser.AtomsContext context) |
Visit a parse tree produced by DLVHEXParser.atoms. More... | |
Result | VisitCost ([NotNull] DLVHEXParser.CostContext context) |
Visit a parse tree produced by DLVHEXParser.cost. More... | |
Result | VisitLevel ([NotNull] DLVHEXParser.LevelContext context) |
Visit a parse tree produced by DLVHEXParser.level. More... | |
Result | VisitOutput ([NotNull] DLVHEXParser.OutputContext context) |
Visit a parse tree produced by DLVHEXParser.output. More... | |
Result | VisitPredicate_atom ([NotNull] DLVHEXParser.Predicate_atomContext context) |
Visit a parse tree produced by DLVHEXParser.predicate_atom. More... | |
Result | VisitTerm ([NotNull] DLVHEXParser.TermContext context) |
Visit a parse tree produced by DLVHEXParser.term. More... | |
Result | VisitWitness ([NotNull] DLVHEXParser.WitnessContext context) |
Visit a parse tree produced by DLVHEXParser.witness. More... | |
This interface defines a complete generic visitor for a parse tree produced by DLVHEXParser.
Result | The return type of the visit operation. |
Result IDLVHEXParserVisitor< Result >.VisitAtoms | ( | [NotNull] DLVHEXParser.AtomsContext | context | ) |
Visit a parse tree produced by DLVHEXParser.atoms.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVHEXParserBaseVisitor< Result >.
Result IDLVHEXParserVisitor< Result >.VisitCost | ( | [NotNull] DLVHEXParser.CostContext | context | ) |
Visit a parse tree produced by DLVHEXParser.cost.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVHEXParserBaseVisitor< Result >.
Result IDLVHEXParserVisitor< Result >.VisitGroundQuery | ( | [NotNull] DLVHEXParser.GroundQueryContext | context | ) |
Visit a parse tree produced by the GroundQuery
labeled alternative in DLVHEXParser.answer_set.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVHEXParserBaseVisitor< Result >.
Result IDLVHEXParserVisitor< Result >.VisitLevel | ( | [NotNull] DLVHEXParser.LevelContext | context | ) |
Visit a parse tree produced by DLVHEXParser.level.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVHEXParserBaseVisitor< Result >.
Result IDLVHEXParserVisitor< Result >.VisitModel | ( | [NotNull] DLVHEXParser.ModelContext | context | ) |
Visit a parse tree produced by the Model
labeled alternative in DLVHEXParser.answer_set.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVHEXParserBaseVisitor< Result >.
Result IDLVHEXParserVisitor< Result >.VisitOutput | ( | [NotNull] DLVHEXParser.OutputContext | context | ) |
Visit a parse tree produced by DLVHEXParser.output.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVHEXParserBaseVisitor< Result >.
Result IDLVHEXParserVisitor< Result >.VisitPredicate_atom | ( | [NotNull] DLVHEXParser.Predicate_atomContext | context | ) |
Visit a parse tree produced by DLVHEXParser.predicate_atom.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVHEXParserBaseVisitor< Result >.
Result IDLVHEXParserVisitor< Result >.VisitTerm | ( | [NotNull] DLVHEXParser.TermContext | context | ) |
Visit a parse tree produced by DLVHEXParser.term.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVHEXParserBaseVisitor< Result >.
Result IDLVHEXParserVisitor< Result >.VisitWitness | ( | [NotNull] DLVHEXParser.WitnessContext | context | ) |
Visit a parse tree produced by DLVHEXParser.witness.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVHEXParserBaseVisitor< Result >.