EmbASP-Java
DLVParserBaseVisitor.java
1 package it.unical.mat.parsers.asp.dlv;
2 
3 import org.antlr.v4.runtime.tree.AbstractParseTreeVisitor;
4 
13 public class DLVParserBaseVisitor<T> extends AbstractParseTreeVisitor<T> implements DLVParserVisitor<T> {
20  @Override public T visitGroundQuery(DLVParser.GroundQueryContext ctx) { return visitChildren(ctx); }
27  @Override public T visitSimpleModel(DLVParser.SimpleModelContext ctx) { return visitChildren(ctx); }
34  @Override public T visitNonGroundQuery(DLVParser.NonGroundQueryContext ctx) { return visitChildren(ctx); }
41  @Override public T visitWeightedModel(DLVParser.WeightedModelContext ctx) { return visitChildren(ctx); }
48  @Override public T visitCost(DLVParser.CostContext ctx) { return visitChildren(ctx); }
55  @Override public T visitCost_level(DLVParser.Cost_levelContext ctx) { return visitChildren(ctx); }
62  @Override public T visitModel(DLVParser.ModelContext ctx) { return visitChildren(ctx); }
69  @Override public T visitOutput(DLVParser.OutputContext ctx) { return visitChildren(ctx); }
76  @Override public T visitPredicate(DLVParser.PredicateContext ctx) { return visitChildren(ctx); }
83  @Override public T visitTerm(DLVParser.TermContext ctx) { return visitChildren(ctx); }
90  @Override public T visitWitness(DLVParser.WitnessContext ctx) { return visitChildren(ctx); }
91 }
it.unical.mat.parsers.asp.dlv.DLVParser.Cost_levelContext
Definition: DLVParser.java:360
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitWeightedModel
T visitWeightedModel(DLVParser.WeightedModelContext ctx)
Definition: DLVParserBaseVisitor.java:41
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitWitness
T visitWitness(DLVParser.WitnessContext ctx)
Definition: DLVParserBaseVisitor.java:90
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitNonGroundQuery
T visitNonGroundQuery(DLVParser.NonGroundQueryContext ctx)
Definition: DLVParserBaseVisitor.java:34
it.unical.mat.parsers.asp.dlv.DLVParser.SimpleModelContext
Definition: DLVParser.java:105
it.unical.mat.parsers.asp.dlv.DLVParser.CostContext
Definition: DLVParser.java:294
it.unical.mat.parsers.asp.dlv.DLVParser.WeightedModelContext
Definition: DLVParser.java:139
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor
Definition: DLVParserBaseVisitor.java:13
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitPredicate
T visitPredicate(DLVParser.PredicateContext ctx)
Definition: DLVParserBaseVisitor.java:76
it.unical.mat.parsers.asp.dlv.DLVParser
Definition: DLVParser.java:13
it.unical.mat.parsers.asp.dlv.DLVParser.NonGroundQueryContext
Definition: DLVParser.java:154
it.unical.mat.parsers.asp.dlv.DLVParser.GroundQueryContext
Definition: DLVParser.java:116
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitCost_level
T visitCost_level(DLVParser.Cost_levelContext ctx)
Definition: DLVParserBaseVisitor.java:55
it.unical.mat.parsers.asp.dlv.DLVParser.ModelContext
Definition: DLVParser.java:408
it.unical.mat.parsers.asp.dlv.DLVParser.WitnessContext
Definition: DLVParser.java:725
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitGroundQuery
T visitGroundQuery(DLVParser.GroundQueryContext ctx)
Definition: DLVParserBaseVisitor.java:20
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitModel
T visitModel(DLVParser.ModelContext ctx)
Definition: DLVParserBaseVisitor.java:62
it.unical.mat.parsers.asp.dlv.DLVParser.OutputContext
Definition: DLVParser.java:482
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitSimpleModel
T visitSimpleModel(DLVParser.SimpleModelContext ctx)
Definition: DLVParserBaseVisitor.java:27
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitOutput
T visitOutput(DLVParser.OutputContext ctx)
Definition: DLVParserBaseVisitor.java:69
it.unical.mat.parsers.asp.dlv.DLVParser.TermContext
Definition: DLVParser.java:611
it.unical.mat.parsers.asp.dlv.DLVParser.PredicateContext
Definition: DLVParser.java:534
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitTerm
T visitTerm(DLVParser.TermContext ctx)
Definition: DLVParserBaseVisitor.java:83
it.unical.mat.parsers.asp.dlv.DLVParserVisitor
Definition: DLVParserVisitor.java:12
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor.visitCost
T visitCost(DLVParser.CostContext ctx)
Definition: DLVParserBaseVisitor.java:48