EmbASP-CSharp v7.1.0
Public Member Functions | Static Public Member Functions | List of all members
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation Class Reference
Inheritance diagram for it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation:
DLVParserBaseVisitor< object >

Public Member Functions

override object VisitSimpleModel (DLVParser.SimpleModelContext context)
 Visit a parse tree produced by the SimpleModel labeled alternative in DLVParser.answer_set. More...
 
override object VisitWeightedModel (DLVParser.WeightedModelContext context)
 Visit a parse tree produced by the WeightedModel labeled alternative in DLVParser.answer_set. More...
 
override object VisitWitness (DLVParser.WitnessContext context)
 Visit a parse tree produced by DLVParser.witness. More...
 
override object VisitCost_level (DLVParser.Cost_levelContext context)
 Visit a parse tree produced by DLVParser.cost_level. More...
 
override object VisitPredicate (DLVParser.PredicateContext context)
 Visit a parse tree produced by DLVParser.predicate. More...
 
- Public Member Functions inherited from DLVParserBaseVisitor< object >
virtual Result VisitGroundQuery ([NotNull] DLVParser.GroundQueryContext context)
 Visit a parse tree produced by the GroundQuery labeled alternative in DLVParser.answer_set. More...
 
virtual Result VisitNonGroundQuery ([NotNull] DLVParser.NonGroundQueryContext context)
 Visit a parse tree produced by the NonGroundQuery labeled alternative in DLVParser.answer_set. More...
 
virtual Result VisitCost ([NotNull] DLVParser.CostContext context)
 Visit a parse tree produced by DLVParser.cost. More...
 
virtual Result VisitModel ([NotNull] DLVParser.ModelContext context)
 Visit a parse tree produced by DLVParser.model. More...
 
virtual Result VisitOutput ([NotNull] DLVParser.OutputContext context)
 Visit a parse tree produced by DLVParser.output. More...
 
virtual Result VisitTerm ([NotNull] DLVParser.TermContext context)
 Visit a parse tree produced by DLVParser.term. More...
 

Static Public Member Functions

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

Member Function Documentation

◆ Parse()

static void it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.Parse ( IASPDataCollection  answerSets,
string  atomsList,
bool  two_stageParsing 
)
inlinestatic

◆ VisitCost_level()

override object it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.VisitCost_level ( DLVParser.Cost_levelContext  context)
inlinevirtual

Visit a parse tree produced by DLVParser.cost_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 DLVParserBaseVisitor< object >.

◆ VisitPredicate()

override object it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.VisitPredicate ( DLVParser.PredicateContext  context)
inlinevirtual

Visit a parse tree produced by DLVParser.predicate.

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 DLVParserBaseVisitor< object >.

◆ VisitSimpleModel()

override object it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.VisitSimpleModel ( DLVParser.SimpleModelContext  context)
inlinevirtual

Visit a parse tree produced by the SimpleModel labeled alternative in DLVParser.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 DLVParserBaseVisitor< object >.

◆ VisitWeightedModel()

override object it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.VisitWeightedModel ( DLVParser.WeightedModelContext  context)
inlinevirtual

Visit a parse tree produced by the WeightedModel labeled alternative in DLVParser.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 DLVParserBaseVisitor< object >.

◆ VisitWitness()

override object it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.VisitWitness ( DLVParser.WitnessContext  context)
inlinevirtual

Visit a parse tree produced by DLVParser.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 DLVParserBaseVisitor< object >.


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