EmbASP-Java
EmbASP-Java
app
src
main
java
it
unical
mat
parsers
asp
dlv
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
Generated by
1.8.17