9 def visitGroundQuery(self, ctx):
10 return self.visitChildren(ctx)
14 def visitSimpleModel(self, ctx):
15 return self.visitChildren(ctx)
19 def visitNonGroundQuery(self, ctx):
20 return self.visitChildren(ctx)
24 def visitWeightedModel(self, ctx):
25 return self.visitChildren(ctx)
29 def visitCost(self, ctx):
30 return self.visitChildren(ctx)
34 def visitCost_level(self, ctx):
35 return self.visitChildren(ctx)
39 def visitModel(self, ctx):
40 return self.visitChildren(ctx)
44 def visitOutput(self, ctx):
45 return self.visitChildren(ctx)
49 def visitPredicate(self, ctx):
50 return self.visitChildren(ctx)
54 def visitTerm(self, ctx):
55 return self.visitChildren(ctx)
59 def visitWitness(self, ctx):
60 return self.visitChildren(ctx)