EmbASP-Java
DLVHEXParserVisitor.java
1 package it.unical.mat.parsers.asp.dlvhex;
2 
3 import org.antlr.v4.runtime.tree.ParseTreeVisitor;
4 
12 public interface DLVHEXParserVisitor<T> extends ParseTreeVisitor<T> {
69 }
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.OutputContext
Definition: DLVHEXParser.java:418
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor.visitLevel
T visitLevel(DLVHEXParser.LevelContext ctx)
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.WitnessContext
Definition: DLVHEXParser.java:613
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor.visitCost
T visitCost(DLVHEXParser.CostContext ctx)
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor.visitOutput
T visitOutput(DLVHEXParser.OutputContext ctx)
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.Predicate_atomContext
Definition: DLVHEXParser.java:470
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor.visitModel
T visitModel(DLVHEXParser.ModelContext ctx)
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor.visitTerm
T visitTerm(DLVHEXParser.TermContext ctx)
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor.visitWitness
T visitWitness(DLVHEXParser.WitnessContext ctx)
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.ModelContext
Definition: DLVHEXParser.java:126
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.TermContext
Definition: DLVHEXParser.java:547
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor.visitAtoms
T visitAtoms(DLVHEXParser.AtomsContext ctx)
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor.visitGroundQuery
T visitGroundQuery(DLVHEXParser.GroundQueryContext ctx)
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.LevelContext
Definition: DLVHEXParser.java:370
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.AtomsContext
Definition: DLVHEXParser.java:217
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.GroundQueryContext
Definition: DLVHEXParser.java:103
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor
Definition: DLVHEXParserVisitor.java:12
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser
Definition: DLVHEXParser.java:13
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.CostContext
Definition: DLVHEXParser.java:304
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor.visitPredicate_atom
T visitPredicate_atom(DLVHEXParser.Predicate_atomContext ctx)