EmbASP-CSharp v7.1.0
Public Member Functions | List of all members
IDLVHEXParserVisitor< Result > Interface Template Reference

This interface defines a complete generic visitor for a parse tree produced by DLVHEXParser. More...

Inheritance diagram for IDLVHEXParserVisitor< Result >:
DLVHEXParserBaseVisitor< Result >

Public Member Functions

Result VisitGroundQuery ([NotNull] DLVHEXParser.GroundQueryContext context)
 Visit a parse tree produced by the GroundQuery labeled alternative in DLVHEXParser.answer_set. More...
 
Result VisitModel ([NotNull] DLVHEXParser.ModelContext context)
 Visit a parse tree produced by the Model labeled alternative in DLVHEXParser.answer_set. More...
 
Result VisitAtoms ([NotNull] DLVHEXParser.AtomsContext context)
 Visit a parse tree produced by DLVHEXParser.atoms. More...
 
Result VisitCost ([NotNull] DLVHEXParser.CostContext context)
 Visit a parse tree produced by DLVHEXParser.cost. More...
 
Result VisitLevel ([NotNull] DLVHEXParser.LevelContext context)
 Visit a parse tree produced by DLVHEXParser.level. More...
 
Result VisitOutput ([NotNull] DLVHEXParser.OutputContext context)
 Visit a parse tree produced by DLVHEXParser.output. More...
 
Result VisitPredicate_atom ([NotNull] DLVHEXParser.Predicate_atomContext context)
 Visit a parse tree produced by DLVHEXParser.predicate_atom. More...
 
Result VisitTerm ([NotNull] DLVHEXParser.TermContext context)
 Visit a parse tree produced by DLVHEXParser.term. More...
 
Result VisitWitness ([NotNull] DLVHEXParser.WitnessContext context)
 Visit a parse tree produced by DLVHEXParser.witness. More...
 

Detailed Description

This interface defines a complete generic visitor for a parse tree produced by DLVHEXParser.

Template Parameters
ResultThe return type of the visit operation.

Member Function Documentation

◆ VisitAtoms()

Result IDLVHEXParserVisitor< Result >.VisitAtoms ( [NotNull] DLVHEXParser.AtomsContext  context)

Visit a parse tree produced by DLVHEXParser.atoms.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

◆ VisitCost()

Result IDLVHEXParserVisitor< Result >.VisitCost ( [NotNull] DLVHEXParser.CostContext  context)

Visit a parse tree produced by DLVHEXParser.cost.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

◆ VisitGroundQuery()

Result IDLVHEXParserVisitor< Result >.VisitGroundQuery ( [NotNull] DLVHEXParser.GroundQueryContext  context)

Visit a parse tree produced by the GroundQuery labeled alternative in DLVHEXParser.answer_set.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

◆ VisitLevel()

Result IDLVHEXParserVisitor< Result >.VisitLevel ( [NotNull] DLVHEXParser.LevelContext  context)

Visit a parse tree produced by DLVHEXParser.level.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

◆ VisitModel()

Result IDLVHEXParserVisitor< Result >.VisitModel ( [NotNull] DLVHEXParser.ModelContext  context)

Visit a parse tree produced by the Model labeled alternative in DLVHEXParser.answer_set.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

◆ VisitOutput()

Result IDLVHEXParserVisitor< Result >.VisitOutput ( [NotNull] DLVHEXParser.OutputContext  context)

Visit a parse tree produced by DLVHEXParser.output.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

◆ VisitPredicate_atom()

Result IDLVHEXParserVisitor< Result >.VisitPredicate_atom ( [NotNull] DLVHEXParser.Predicate_atomContext  context)

Visit a parse tree produced by DLVHEXParser.predicate_atom.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

◆ VisitTerm()

Result IDLVHEXParserVisitor< Result >.VisitTerm ( [NotNull] DLVHEXParser.TermContext  context)

Visit a parse tree produced by DLVHEXParser.term.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

◆ VisitWitness()

Result IDLVHEXParserVisitor< Result >.VisitWitness ( [NotNull] DLVHEXParser.WitnessContext  context)

Visit a parse tree produced by DLVHEXParser.witness.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.


The documentation for this interface was generated from the following file: