EmbASP-Java
EmbASP-Java
app
src
main
java
it
unical
mat
parsers
asp
dlvhex
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> {
19
T
visitGroundQuery
(
DLVHEXParser
.
GroundQueryContext
ctx);
26
T
visitModel
(
DLVHEXParser
.
ModelContext
ctx);
32
T
visitAtoms
(
DLVHEXParser
.
AtomsContext
ctx);
38
T
visitCost
(
DLVHEXParser
.
CostContext
ctx);
44
T
visitLevel
(
DLVHEXParser
.
LevelContext
ctx);
50
T
visitOutput
(
DLVHEXParser
.
OutputContext
ctx);
56
T
visitPredicate_atom
(
DLVHEXParser
.
Predicate_atomContext
ctx);
62
T
visitTerm
(
DLVHEXParser
.
TermContext
ctx);
68
T
visitWitness
(
DLVHEXParser
.
WitnessContext
ctx);
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)
Generated by
1.8.17