EmbASP-Java v7.1.0
|
Public Member Functions | |
T | visitGroundQuery (DLVHEXParser.GroundQueryContext ctx) |
T | visitModel (DLVHEXParser.ModelContext ctx) |
T | visitAtoms (DLVHEXParser.AtomsContext ctx) |
T | visitCost (DLVHEXParser.CostContext ctx) |
T | visitLevel (DLVHEXParser.LevelContext ctx) |
T | visitOutput (DLVHEXParser.OutputContext ctx) |
T | visitPredicate_atom (DLVHEXParser.Predicate_atomContext ctx) |
T | visitTerm (DLVHEXParser.TermContext ctx) |
T | visitWitness (DLVHEXParser.WitnessContext ctx) |
This class provides an empty implementation of DLVHEXParserVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.
<T> | The return type of the visit operation. Use Void for operations with no return type. |
|
inline |
Visit a parse tree produced by DLVHEXParser#atoms.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.
|
inline |
Visit a parse tree produced by DLVHEXParser#cost.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.
|
inline |
Visit a parse tree produced by the
labeled alternative in DLVHEXParser#answer_set.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.
|
inline |
Visit a parse tree produced by DLVHEXParser#level.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.
|
inline |
Visit a parse tree produced by the
labeled alternative in DLVHEXParser#answer_set.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.
|
inline |
Visit a parse tree produced by DLVHEXParser#output.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.
|
inline |
Visit a parse tree produced by DLVHEXParser#predicate_atom.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.
|
inline |
Visit a parse tree produced by DLVHEXParser#term.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.
|
inline |
Visit a parse tree produced by DLVHEXParser#witness.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.