|
static void | parse (final ASPDataCollection answerSets, final String atomsList, final boolean two_stageParsing) |
|
◆ 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: