14 #pragma warning disable 0162
16 #pragma warning disable 0219
18 #pragma warning disable 1591
20 #pragma warning disable 419
22 using Antlr4.Runtime.Misc;
23 using Antlr4.Runtime.Tree;
24 using IToken = Antlr4.Runtime.IToken;
31 [System.CodeDom.Compiler.GeneratedCode(
"ANTLR",
"4.7")]
32 [System.CLSCompliant(
false)]
67 Result
VisitCost([NotNull] DLVParser.CostContext context);
79 Result
VisitModel([NotNull] DLVParser.ModelContext context);
85 Result
VisitOutput([NotNull] DLVParser.OutputContext context);
91 Result
VisitPredicate([NotNull] DLVParser.PredicateContext context);
97 Result
VisitTerm([NotNull] DLVParser.TermContext context);
103 Result
VisitWitness([NotNull] DLVParser.WitnessContext context);
Result VisitTerm([NotNull] DLVParser.TermContext context)
Visit a parse tree produced by DLVParser.term.
This interface defines a complete generic visitor for a parse tree produced by DLVParser.
Result VisitCost([NotNull] DLVParser.CostContext context)
Visit a parse tree produced by DLVParser.cost.
Result VisitOutput([NotNull] DLVParser.OutputContext context)
Visit a parse tree produced by DLVParser.output.
Result VisitGroundQuery([NotNull] DLVParser.GroundQueryContext context)
Visit a parse tree produced by the GroundQuery labeled alternative in DLVParser.answer_set.
Result VisitModel([NotNull] DLVParser.ModelContext context)
Visit a parse tree produced by DLVParser.model.
Result VisitWeightedModel([NotNull] DLVParser.WeightedModelContext context)
Visit a parse tree produced by the WeightedModel labeled alternative in DLVParser....
Result VisitSimpleModel([NotNull] DLVParser.SimpleModelContext context)
Visit a parse tree produced by the SimpleModel labeled alternative in DLVParser.answer_set.
Result VisitPredicate([NotNull] DLVParser.PredicateContext context)
Visit a parse tree produced by DLVParser.predicate.
Result VisitWitness([NotNull] DLVParser.WitnessContext context)
Visit a parse tree produced by DLVParser.witness.
Result VisitNonGroundQuery([NotNull] DLVParser.NonGroundQueryContext context)
Visit a parse tree produced by the NonGroundQuery labeled alternative in DLVParser....
Result VisitCost_level([NotNull] DLVParser.Cost_levelContext context)
Visit a parse tree produced by DLVParser.cost_level.