EmbASP-Java
EmbASP-Java
app
src
main
java
it
unical
mat
parsers
asp
clingo
ClingoParserVisitor.java
1
package
it.unical.mat.parsers.asp.clingo;
2
3
import
org.antlr.v4.runtime.tree.ParseTreeVisitor;
4
12
public
interface
ClingoParserVisitor
<T>
extends
ParseTreeVisitor<T> {
18
T
visitAnswer_set
(
ClingoParser
.
Answer_setContext
ctx);
24
T
visitModel
(
ClingoParser
.
ModelContext
ctx);
30
T
visitOutput
(
ClingoParser
.
OutputContext
ctx);
36
T
visitPredicate_atom
(
ClingoParser
.
Predicate_atomContext
ctx);
42
T
visitTerm
(
ClingoParser
.
TermContext
ctx);
43
}
it.unical.mat.parsers.asp.clingo.ClingoParserVisitor.visitTerm
T visitTerm(ClingoParser.TermContext ctx)
it.unical.mat.parsers.asp.clingo.ClingoParser
Definition:
ClingoParser.java:13
it.unical.mat.parsers.asp.clingo.ClingoParser.Predicate_atomContext
Definition:
ClingoParser.java:231
it.unical.mat.parsers.asp.clingo.ClingoParser.TermContext
Definition:
ClingoParser.java:308
it.unical.mat.parsers.asp.clingo.ClingoParserVisitor.visitModel
T visitModel(ClingoParser.ModelContext ctx)
it.unical.mat.parsers.asp.clingo.ClingoParser.ModelContext
Definition:
ClingoParser.java:124
it.unical.mat.parsers.asp.clingo.ClingoParser.OutputContext
Definition:
ClingoParser.java:179
it.unical.mat.parsers.asp.clingo.ClingoParserVisitor
Definition:
ClingoParserVisitor.java:12
it.unical.mat.parsers.asp.clingo.ClingoParserVisitor.visitAnswer_set
T visitAnswer_set(ClingoParser.Answer_setContext ctx)
it.unical.mat.parsers.asp.clingo.ClingoParserVisitor.visitOutput
T visitOutput(ClingoParser.OutputContext ctx)
it.unical.mat.parsers.asp.clingo.ClingoParser.Answer_setContext
Definition:
ClingoParser.java:85
it.unical.mat.parsers.asp.clingo.ClingoParserVisitor.visitPredicate_atom
T visitPredicate_atom(ClingoParser.Predicate_atomContext ctx)
Generated by
1.8.17