EmbASP-CSharp
Public Member Functions | Static Public Member Functions | List of all members
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation Class Reference
Inheritance diagram for it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation:
DLVHEXParserBaseVisitor< object >

Public Member Functions

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

Static Public Member Functions

static void Parse (IASPDataCollection answerSets, string atomsList, bool two_stageParsing)
 

Detailed Description

Definition at line 7 of file DLVHEXParserBaseVisitorImplementation.cs.

Member Function Documentation

◆ VisitLevel()

override object it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.VisitLevel ( DLVHEXParser.LevelContext  context)
inlinevirtual

Visit a parse tree produced by DLVHEXParser.level.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Reimplemented from DLVHEXParserBaseVisitor< object >.

Definition at line 23 of file DLVHEXParserBaseVisitorImplementation.cs.

◆ VisitModel()

override object it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.VisitModel ( DLVHEXParser.ModelContext  context)
inlinevirtual

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

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Reimplemented from DLVHEXParserBaseVisitor< object >.

Definition at line 16 of file DLVHEXParserBaseVisitorImplementation.cs.

◆ VisitPredicate_atom()

override object it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.VisitPredicate_atom ( DLVHEXParser.Predicate_atomContext  context)
inlinevirtual

Visit a parse tree produced by DLVHEXParser.predicate_atom.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Reimplemented from DLVHEXParserBaseVisitor< object >.

Definition at line 30 of file DLVHEXParserBaseVisitorImplementation.cs.

◆ VisitWitness()

override object it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.VisitWitness ( DLVHEXParser.WitnessContext  context)
inlinevirtual

Visit a parse tree produced by DLVHEXParser.witness.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Reimplemented from DLVHEXParserBaseVisitor< object >.

Definition at line 37 of file DLVHEXParserBaseVisitorImplementation.cs.


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