EmbASP-Java
DLVParserVisitor.java
1 package it.unical.mat.parsers.asp.dlv;
2 
3 import org.antlr.v4.runtime.tree.ParseTreeVisitor;
4 
12 public interface DLVParserVisitor<T> extends ParseTreeVisitor<T> {
83 }
it.unical.mat.parsers.asp.dlv.DLVParserVisitor.visitGroundQuery
T visitGroundQuery(DLVParser.GroundQueryContext ctx)
it.unical.mat.parsers.asp.dlv.DLVParser.Cost_levelContext
Definition: DLVParser.java:360
it.unical.mat.parsers.asp.dlv.DLVParserVisitor.visitOutput
T visitOutput(DLVParser.OutputContext ctx)
it.unical.mat.parsers.asp.dlv.DLVParserVisitor.visitModel
T visitModel(DLVParser.ModelContext ctx)
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.DLVParserVisitor.visitWitness
T visitWitness(DLVParser.WitnessContext ctx)
it.unical.mat.parsers.asp.dlv.DLVParser.WeightedModelContext
Definition: DLVParser.java:139
it.unical.mat.parsers.asp.dlv.DLVParserVisitor.visitWeightedModel
T visitWeightedModel(DLVParser.WeightedModelContext ctx)
it.unical.mat.parsers.asp.dlv.DLVParserVisitor.visitTerm
T visitTerm(DLVParser.TermContext ctx)
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.DLVParser.ModelContext
Definition: DLVParser.java:408
it.unical.mat.parsers.asp.dlv.DLVParser.WitnessContext
Definition: DLVParser.java:725
it.unical.mat.parsers.asp.dlv.DLVParserVisitor.visitCost
T visitCost(DLVParser.CostContext ctx)
it.unical.mat.parsers.asp.dlv.DLVParser.OutputContext
Definition: DLVParser.java:482
it.unical.mat.parsers.asp.dlv.DLVParserVisitor.visitCost_level
T visitCost_level(DLVParser.Cost_levelContext ctx)
it.unical.mat.parsers.asp.dlv.DLVParserVisitor.visitNonGroundQuery
T visitNonGroundQuery(DLVParser.NonGroundQueryContext ctx)
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.DLVParserVisitor
Definition: DLVParserVisitor.java:12
it.unical.mat.parsers.asp.dlv.DLVParserVisitor.visitPredicate
T visitPredicate(DLVParser.PredicateContext ctx)
it.unical.mat.parsers.asp.dlv.DLVParserVisitor.visitSimpleModel
T visitSimpleModel(DLVParser.SimpleModelContext ctx)