EmbASP-Java 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:
it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< Void >

Public Member Functions

 IDLVParserBaseVisitorImplementation (final DatalogDataCollection models)
 
Void visitPredicate_atom (IDLVParser.Predicate_atomContext ctx)
 
Void visitMinimal_model (IDLVParser.Minimal_modelContext ctx)
 
- Public Member Functions inherited from it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< Void >
visitOutput (IDLVParser.OutputContext ctx)
 
visitMinimal_model (IDLVParser.Minimal_modelContext ctx)
 
visitPredicate_atom (IDLVParser.Predicate_atomContext ctx)
 
visitTerm (IDLVParser.TermContext ctx)
 

Static Public Member Functions

static void parse (DatalogDataCollection models, String atomsList, boolean two_stageParsing)
 

Constructor & Destructor Documentation

◆ IDLVParserBaseVisitorImplementation()

it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitorImplementation.IDLVParserBaseVisitorImplementation ( final DatalogDataCollection  models)
inline

Member Function Documentation

◆ parse()

static void it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitorImplementation.parse ( DatalogDataCollection  models,
String  atomsList,
boolean  two_stageParsing 
)
inlinestatic

◆ visitMinimal_model()

Void it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitorImplementation.visitMinimal_model ( IDLVParser.Minimal_modelContext  ctx)
inline

◆ visitPredicate_atom()

Void it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitorImplementation.visitPredicate_atom ( IDLVParser.Predicate_atomContext  ctx)
inline

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