EmbASP-Java v7.1.0
|
Public Member Functions | |
T | visitGroundQuery (DLVParser.GroundQueryContext ctx) |
T | visitSimpleModel (DLVParser.SimpleModelContext ctx) |
T | visitNonGroundQuery (DLVParser.NonGroundQueryContext ctx) |
T | visitWeightedModel (DLVParser.WeightedModelContext ctx) |
T | visitCost (DLVParser.CostContext ctx) |
T | visitCost_level (DLVParser.Cost_levelContext ctx) |
T | visitModel (DLVParser.ModelContext ctx) |
T | visitOutput (DLVParser.OutputContext ctx) |
T | visitPredicate (DLVParser.PredicateContext ctx) |
T | visitTerm (DLVParser.TermContext ctx) |
T | visitWitness (DLVParser.WitnessContext ctx) |
This interface defines a complete generic visitor for a parse tree produced by DLVParser.
<T> | The return type of the visit operation. Use Void for operations with no return type. |
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitCost | ( | DLVParser.CostContext | ctx | ) |
Visit a parse tree produced by DLVParser#cost.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitCost_level | ( | DLVParser.Cost_levelContext | ctx | ) |
Visit a parse tree produced by DLVParser#cost_level.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitGroundQuery | ( | DLVParser.GroundQueryContext | ctx | ) |
Visit a parse tree produced by the
labeled alternative in DLVParser#answer_set.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitModel | ( | DLVParser.ModelContext | ctx | ) |
Visit a parse tree produced by DLVParser#model.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitNonGroundQuery | ( | DLVParser.NonGroundQueryContext | ctx | ) |
Visit a parse tree produced by the
labeled alternative in DLVParser#answer_set.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitOutput | ( | DLVParser.OutputContext | ctx | ) |
Visit a parse tree produced by DLVParser#output.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitPredicate | ( | DLVParser.PredicateContext | ctx | ) |
Visit a parse tree produced by DLVParser#predicate.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitSimpleModel | ( | DLVParser.SimpleModelContext | ctx | ) |
Visit a parse tree produced by the
labeled alternative in DLVParser#answer_set.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitTerm | ( | DLVParser.TermContext | ctx | ) |
Visit a parse tree produced by DLVParser#term.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitWeightedModel | ( | DLVParser.WeightedModelContext | ctx | ) |
Visit a parse tree produced by the
labeled alternative in DLVParser#answer_set.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.
T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitWitness | ( | DLVParser.WitnessContext | ctx | ) |
Visit a parse tree produced by DLVParser#witness.
ctx | the parse tree |
Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.