EmbASP-Python
DLVParserVisitor.py
1 # Generated from DLVParser.g4 by ANTLR 4.7
2 from antlr4 import *
3 
4 # This class defines a complete generic visitor for a parse tree produced by DLVParser.
5 
6 class DLVParserVisitor(ParseTreeVisitor):
7 
8  # Visit a parse tree produced by DLVParser#GroundQuery.
9  def visitGroundQuery(self, ctx):
10  return self.visitChildren(ctx)
11 
12 
13  # Visit a parse tree produced by DLVParser#SimpleModel.
14  def visitSimpleModel(self, ctx):
15  return self.visitChildren(ctx)
16 
17 
18  # Visit a parse tree produced by DLVParser#NonGroundQuery.
19  def visitNonGroundQuery(self, ctx):
20  return self.visitChildren(ctx)
21 
22 
23  # Visit a parse tree produced by DLVParser#WeightedModel.
24  def visitWeightedModel(self, ctx):
25  return self.visitChildren(ctx)
26 
27 
28  # Visit a parse tree produced by DLVParser#cost.
29  def visitCost(self, ctx):
30  return self.visitChildren(ctx)
31 
32 
33  # Visit a parse tree produced by DLVParser#cost_level.
34  def visitCost_level(self, ctx):
35  return self.visitChildren(ctx)
36 
37 
38  # Visit a parse tree produced by DLVParser#model.
39  def visitModel(self, ctx):
40  return self.visitChildren(ctx)
41 
42 
43  # Visit a parse tree produced by DLVParser#output.
44  def visitOutput(self, ctx):
45  return self.visitChildren(ctx)
46 
47 
48  # Visit a parse tree produced by DLVParser#predicate.
49  def visitPredicate(self, ctx):
50  return self.visitChildren(ctx)
51 
52 
53  # Visit a parse tree produced by DLVParser#term.
54  def visitTerm(self, ctx):
55  return self.visitChildren(ctx)
56 
57 
58  # Visit a parse tree produced by DLVParser#witness.
59  def visitWitness(self, ctx):
60  return self.visitChildren(ctx)
61 
62 
parsers.asp.dlv.DLVParserVisitor.DLVParserVisitor
Definition: DLVParserVisitor.py:6