EmbASP-CSharp v7.1.0
|
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... | |
![]() | |
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) |
|
inlinestatic |
|
inlinevirtual |
Visit a parse tree produced by DLVParser.cost_level.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Reimplemented from DLVParserBaseVisitor< object >.
|
inlinevirtual |
Visit a parse tree produced by DLVParser.predicate.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Reimplemented from DLVParserBaseVisitor< object >.
|
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 .
context | The parse tree. |
<return>The visitor result.</return>
Reimplemented from DLVParserBaseVisitor< object >.
|
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 .
context | The parse tree. |
<return>The visitor result.</return>
Reimplemented from DLVParserBaseVisitor< object >.
|
inlinevirtual |
Visit a parse tree produced by DLVParser.witness.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Reimplemented from DLVParserBaseVisitor< object >.