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