EmbASP-Java
EmbASP-Java
app
src
main
java
it
unical
mat
parsers
asp
dlv
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> {
19
T
visitGroundQuery
(
DLVParser
.
GroundQueryContext
ctx);
26
T
visitSimpleModel
(
DLVParser
.
SimpleModelContext
ctx);
33
T
visitNonGroundQuery
(
DLVParser
.
NonGroundQueryContext
ctx);
40
T
visitWeightedModel
(
DLVParser
.
WeightedModelContext
ctx);
46
T
visitCost
(
DLVParser
.
CostContext
ctx);
52
T
visitCost_level
(
DLVParser
.
Cost_levelContext
ctx);
58
T
visitModel
(
DLVParser
.
ModelContext
ctx);
64
T
visitOutput
(
DLVParser
.
OutputContext
ctx);
70
T
visitPredicate
(
DLVParser
.
PredicateContext
ctx);
76
T
visitTerm
(
DLVParser
.
TermContext
ctx);
82
T
visitWitness
(
DLVParser
.
WitnessContext
ctx);
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)
Generated by
1.8.17