1 package it.unical.mat.parsers.asp;
3 import it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation;
4 import it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation;
5 import it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitorImplementation;
6 import it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation;
13 public static void parseClingo(
final ASPDataCollection answerSets,
final String atomsList,
final boolean two_stageParsing) {
17 public static void parseDLV(
final ASPDataCollection answerSets,
final String atomsList,
final boolean two_stageParsing) {
21 public static void parseDLV2(
final ASPDataCollection answerSets,
final String atomsList,
final boolean two_stageParsing) {
25 public static void parseDLVHEX(
final ASPDataCollection answerSets,
final String atomsList,
final boolean two_stageParsing) {