EmbASP-CSharp v7.1.0
Public Member Functions | Static Public Member Functions | List of all members
it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitorImplementation Class Reference
Inheritance diagram for it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitorImplementation:
IDLVParserBaseVisitor< object >

Public Member Functions

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...
 
- Public Member Functions inherited from IDLVParserBaseVisitor< object >
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...
 

Static Public Member Functions

static void Parse (IDatalogDataCollection minimalModels, string atomsList, bool two_stageParsing)
 

Member Function Documentation

◆ 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
contextThe parse tree.

<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
contextThe parse tree.

<return>The visitor result.</return>

Reimplemented from IDLVParserBaseVisitor< object >.


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