|
override object | VisitAnswer_set (DLV2Parser.Answer_setContext context) |
| Visit a parse tree produced by DLV2Parser.answer_set. More...
|
|
override object | VisitLevel (DLV2Parser.LevelContext context) |
| Visit a parse tree produced by DLV2Parser.level. More...
|
|
override object | VisitPredicate_atom (DLV2Parser.Predicate_atomContext context) |
| Visit a parse tree produced by DLV2Parser.predicate_atom. More...
|
|
virtual Result | VisitCost ([NotNull] DLV2Parser.CostContext context) |
| Visit a parse tree produced by DLV2Parser.cost. More...
|
|
virtual Result | VisitModel ([NotNull] DLV2Parser.ModelContext context) |
| Visit a parse tree produced by DLV2Parser.model. More...
|
|
virtual Result | VisitOutput ([NotNull] DLV2Parser.OutputContext context) |
| Visit a parse tree produced by DLV2Parser.output. More...
|
|
virtual Result | VisitTerm ([NotNull] DLV2Parser.TermContext context) |
| Visit a parse tree produced by DLV2Parser.term. More...
|
|
◆ Parse()
static void it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitorImplementation.Parse |
( |
IASPDataCollection |
answerSets, |
|
|
string |
atomsList, |
|
|
bool |
two_stageParsing |
|
) |
| |
|
inlinestatic |
◆ VisitAnswer_set()
override object it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitorImplementation.VisitAnswer_set |
( |
DLV2Parser.Answer_setContext |
context | ) |
|
|
inlinevirtual |
Visit a parse tree produced by DLV2Parser.answer_set.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
- Parameters
-
<return>The visitor result.</return>
Reimplemented from DLV2ParserBaseVisitor< object >.
◆ VisitLevel()
override object it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitorImplementation.VisitLevel |
( |
DLV2Parser.LevelContext |
context | ) |
|
|
inlinevirtual |
Visit a parse tree produced by DLV2Parser.level.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
- Parameters
-
<return>The visitor result.</return>
Reimplemented from DLV2ParserBaseVisitor< object >.
◆ VisitPredicate_atom()
override object it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitorImplementation.VisitPredicate_atom |
( |
DLV2Parser.Predicate_atomContext |
context | ) |
|
|
inlinevirtual |
Visit a parse tree produced by DLV2Parser.predicate_atom.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
- Parameters
-
<return>The visitor result.</return>
Reimplemented from DLV2ParserBaseVisitor< object >.
The documentation for this class was generated from the following file: