EmbASP-Python
EmbASP-Python
parsers
asp
dlvhex
DLVHEXParserVisitor.py
1
# Generated from DLVHEXParser.g4 by ANTLR 4.7
2
from
antlr4
import
*
3
4
# This class defines a complete generic visitor for a parse tree produced by DLVHEXParser.
5
6
class
DLVHEXParserVisitor
(ParseTreeVisitor):
7
8
# Visit a parse tree produced by DLVHEXParser#GroundQuery.
9
def
visitGroundQuery(self, ctx):
10
return
self.visitChildren(ctx)
11
12
13
# Visit a parse tree produced by DLVHEXParser#Model.
14
def
visitModel(self, ctx):
15
return
self.visitChildren(ctx)
16
17
18
# Visit a parse tree produced by DLVHEXParser#atoms.
19
def
visitAtoms(self, ctx):
20
return
self.visitChildren(ctx)
21
22
23
# Visit a parse tree produced by DLVHEXParser#cost.
24
def
visitCost(self, ctx):
25
return
self.visitChildren(ctx)
26
27
28
# Visit a parse tree produced by DLVHEXParser#level.
29
def
visitLevel(self, ctx):
30
return
self.visitChildren(ctx)
31
32
33
# Visit a parse tree produced by DLVHEXParser#output.
34
def
visitOutput(self, ctx):
35
return
self.visitChildren(ctx)
36
37
38
# Visit a parse tree produced by DLVHEXParser#predicate_atom.
39
def
visitPredicate_atom(self, ctx):
40
return
self.visitChildren(ctx)
41
42
43
# Visit a parse tree produced by DLVHEXParser#term.
44
def
visitTerm(self, ctx):
45
return
self.visitChildren(ctx)
46
47
48
# Visit a parse tree produced by DLVHEXParser#witness.
49
def
visitWitness(self, ctx):
50
return
self.visitChildren(ctx)
51
52
parsers.asp.dlvhex.DLVHEXParserVisitor.DLVHEXParserVisitor
Definition:
DLVHEXParserVisitor.py:6
Generated by
1.8.17