EmbASP-CSharp
|
This interface defines a complete generic visitor for a parse tree produced by DLVParser. More...
Public Member Functions | |
Result | VisitGroundQuery ([NotNull] DLVParser.GroundQueryContext context) |
Visit a parse tree produced by the GroundQuery labeled alternative in DLVParser.answer_set. More... | |
Result | VisitSimpleModel ([NotNull] DLVParser.SimpleModelContext context) |
Visit a parse tree produced by the SimpleModel labeled alternative in DLVParser.answer_set. More... | |
Result | VisitNonGroundQuery ([NotNull] DLVParser.NonGroundQueryContext context) |
Visit a parse tree produced by the NonGroundQuery labeled alternative in DLVParser.answer_set. More... | |
Result | VisitWeightedModel ([NotNull] DLVParser.WeightedModelContext context) |
Visit a parse tree produced by the WeightedModel labeled alternative in DLVParser.answer_set. More... | |
Result | VisitCost ([NotNull] DLVParser.CostContext context) |
Visit a parse tree produced by DLVParser.cost. More... | |
Result | VisitCost_level ([NotNull] DLVParser.Cost_levelContext context) |
Visit a parse tree produced by DLVParser.cost_level. More... | |
Result | VisitModel ([NotNull] DLVParser.ModelContext context) |
Visit a parse tree produced by DLVParser.model. More... | |
Result | VisitOutput ([NotNull] DLVParser.OutputContext context) |
Visit a parse tree produced by DLVParser.output. More... | |
Result | VisitPredicate ([NotNull] DLVParser.PredicateContext context) |
Visit a parse tree produced by DLVParser.predicate. More... | |
Result | VisitTerm ([NotNull] DLVParser.TermContext context) |
Visit a parse tree produced by DLVParser.term. More... | |
Result | VisitWitness ([NotNull] DLVParser.WitnessContext context) |
Visit a parse tree produced by DLVParser.witness. More... | |
This interface defines a complete generic visitor for a parse tree produced by DLVParser.
Result | The return type of the visit operation. |
Definition at line 33 of file DLVParserVisitor.cs.
Result IDLVParserVisitor< Result >.VisitCost | ( | [NotNull] DLVParser.CostContext | context | ) |
Visit a parse tree produced by DLVParser.cost.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.
Result IDLVParserVisitor< Result >.VisitCost_level | ( | [NotNull] DLVParser.Cost_levelContext | context | ) |
Visit a parse tree produced by DLVParser.cost_level.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.
Result IDLVParserVisitor< Result >.VisitGroundQuery | ( | [NotNull] DLVParser.GroundQueryContext | context | ) |
Visit a parse tree produced by the GroundQuery
labeled alternative in DLVParser.answer_set.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.
Result IDLVParserVisitor< Result >.VisitModel | ( | [NotNull] DLVParser.ModelContext | context | ) |
Visit a parse tree produced by DLVParser.model.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.
Result IDLVParserVisitor< Result >.VisitNonGroundQuery | ( | [NotNull] DLVParser.NonGroundQueryContext | context | ) |
Visit a parse tree produced by the NonGroundQuery
labeled alternative in DLVParser.answer_set.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.
Result IDLVParserVisitor< Result >.VisitOutput | ( | [NotNull] DLVParser.OutputContext | context | ) |
Visit a parse tree produced by DLVParser.output.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.
Result IDLVParserVisitor< Result >.VisitPredicate | ( | [NotNull] DLVParser.PredicateContext | context | ) |
Visit a parse tree produced by DLVParser.predicate.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.
Result IDLVParserVisitor< Result >.VisitSimpleModel | ( | [NotNull] DLVParser.SimpleModelContext | context | ) |
Visit a parse tree produced by the SimpleModel
labeled alternative in DLVParser.answer_set.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.
Result IDLVParserVisitor< Result >.VisitTerm | ( | [NotNull] DLVParser.TermContext | context | ) |
Visit a parse tree produced by DLVParser.term.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.
Result IDLVParserVisitor< Result >.VisitWeightedModel | ( | [NotNull] DLVParser.WeightedModelContext | context | ) |
Visit a parse tree produced by the WeightedModel
labeled alternative in DLVParser.answer_set.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.
Result IDLVParserVisitor< Result >.VisitWitness | ( | [NotNull] DLVParser.WitnessContext | context | ) |
Visit a parse tree produced by DLVParser.witness.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in DLVParserBaseVisitor< Result >.