EmbASP-Java v7.1.0
Public Member Functions | Static Public Member Functions | List of all members
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation Class Reference
Inheritance diagram for it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation:
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< Void >

Public Member Functions

Void visitModel (DLVHEXParser.ModelContext ctx)
 
Void visitLevel (DLVHEXParser.LevelContext ctx)
 
Void visitPredicate_atom (DLVHEXParser.Predicate_atomContext ctx)
 
Void visitWitness (DLVHEXParser.WitnessContext ctx)
 
- Public Member Functions inherited from it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< Void >
visitGroundQuery (DLVHEXParser.GroundQueryContext ctx)
 
visitModel (DLVHEXParser.ModelContext ctx)
 
visitAtoms (DLVHEXParser.AtomsContext ctx)
 
visitCost (DLVHEXParser.CostContext ctx)
 
visitLevel (DLVHEXParser.LevelContext ctx)
 
visitOutput (DLVHEXParser.OutputContext ctx)
 
visitPredicate_atom (DLVHEXParser.Predicate_atomContext ctx)
 
visitTerm (DLVHEXParser.TermContext ctx)
 
visitWitness (DLVHEXParser.WitnessContext ctx)
 

Static Public Member Functions

static void parse (final ASPDataCollection answerSets, final String atomsList, final boolean two_stageParsing)
 

Member Function Documentation

◆ parse()

static void it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.parse ( final ASPDataCollection  answerSets,
final String  atomsList,
final boolean  two_stageParsing 
)
inlinestatic

◆ visitLevel()

Void it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.visitLevel ( DLVHEXParser.LevelContext  ctx)
inline

◆ visitModel()

Void it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.visitModel ( DLVHEXParser.ModelContext  ctx)
inline

◆ visitPredicate_atom()

Void it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.visitPredicate_atom ( DLVHEXParser.Predicate_atomContext  ctx)
inline

◆ visitWitness()

Void it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.visitWitness ( DLVHEXParser.WitnessContext  ctx)
inline

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