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

Public Member Functions

Void visitSimpleModel (DLVParser.SimpleModelContext ctx)
 
Void visitWeightedModel (DLVParser.WeightedModelContext ctx)
 
Void visitWitness (DLVParser.WitnessContext ctx)
 
Void visitCost_level (DLVParser.Cost_levelContext ctx)
 
Void visitPredicate (DLVParser.PredicateContext ctx)
 
- Public Member Functions inherited from it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< Void >
visitGroundQuery (DLVParser.GroundQueryContext ctx)
 
visitSimpleModel (DLVParser.SimpleModelContext ctx)
 
visitNonGroundQuery (DLVParser.NonGroundQueryContext ctx)
 
visitWeightedModel (DLVParser.WeightedModelContext ctx)
 
visitCost (DLVParser.CostContext ctx)
 
visitCost_level (DLVParser.Cost_levelContext ctx)
 
visitModel (DLVParser.ModelContext ctx)
 
visitOutput (DLVParser.OutputContext ctx)
 
visitPredicate (DLVParser.PredicateContext ctx)
 
visitTerm (DLVParser.TermContext ctx)
 
visitWitness (DLVParser.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.dlv.DLVParserBaseVisitorImplementation.parse ( final ASPDataCollection  answerSets,
final String  atomsList,
final boolean  two_stageParsing 
)
inlinestatic

◆ visitCost_level()

Void it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.visitCost_level ( DLVParser.Cost_levelContext  ctx)
inline

◆ visitPredicate()

Void it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.visitPredicate ( DLVParser.PredicateContext  ctx)
inline

◆ visitSimpleModel()

Void it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.visitSimpleModel ( DLVParser.SimpleModelContext  ctx)
inline

◆ visitWeightedModel()

Void it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.visitWeightedModel ( DLVParser.WeightedModelContext  ctx)
inline

◆ visitWitness()

Void it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.visitWitness ( DLVParser.WitnessContext  ctx)
inline

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