|
override object | VisitMinimal_model (IDLVParser.Minimal_modelContext context) |
| Visit a parse tree produced by IDLVParser.minimal_model. More...
|
|
override object | VisitPredicate_atom (IDLVParser.Predicate_atomContext context) |
| Visit a parse tree produced by IDLVParser.predicate_atom. More...
|
|
virtual Result | VisitOutput ([NotNull] IDLVParser.OutputContext context) |
| Visit a parse tree produced by IDLVParser.output. More...
|
|
virtual Result | VisitTerm ([NotNull] IDLVParser.TermContext context) |
| Visit a parse tree produced by IDLVParser.term. More...
|
|
◆ Parse()
static void it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitorImplementation.Parse |
( |
IDatalogDataCollection |
minimalModels, |
|
|
string |
atomsList, |
|
|
bool |
two_stageParsing |
|
) |
| |
|
inlinestatic |
◆ VisitMinimal_model()
override object it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitorImplementation.VisitMinimal_model |
( |
IDLVParser.Minimal_modelContext |
context | ) |
|
|
inlinevirtual |
Visit a parse tree produced by IDLVParser.minimal_model.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
- Parameters
-
<return>The visitor result.</return>
Reimplemented from IDLVParserBaseVisitor< object >.
◆ VisitPredicate_atom()
override object it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitorImplementation.VisitPredicate_atom |
( |
IDLVParser.Predicate_atomContext |
context | ) |
|
|
inlinevirtual |
Visit a parse tree produced by IDLVParser.predicate_atom.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
- Parameters
-
<return>The visitor result.</return>
Reimplemented from IDLVParserBaseVisitor< object >.
The documentation for this class was generated from the following file: