EmbASP-Java
ASPSolversParser.java
1 package it.unical.mat.parsers.asp;
2 
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;
7 
8 public final class ASPSolversParser {
9  private ASPSolversParser() {
10 
11  }
12 
13  public static void parseClingo(final ASPDataCollection answerSets, final String atomsList, final boolean two_stageParsing) {
14  ClingoParserBaseVisitorImplementation.parse(answerSets, atomsList, two_stageParsing);
15  }
16 
17  public static void parseDLV(final ASPDataCollection answerSets, final String atomsList, final boolean two_stageParsing) {
18  DLVParserBaseVisitorImplementation.parse(answerSets, atomsList, two_stageParsing);
19  }
20 
21  public static void parseDLV2(final ASPDataCollection answerSets, final String atomsList, final boolean two_stageParsing) {
22  DLV2ParserBaseVisitorImplementation.parse(answerSets, atomsList, two_stageParsing);
23  }
24 
25  public static void parseDLVHEX(final ASPDataCollection answerSets, final String atomsList, final boolean two_stageParsing) {
26  DLVHEXParserBaseVisitorImplementation.parse(answerSets, atomsList, two_stageParsing);
27  }
28 }
it.unical.mat.parsers.asp.ASPDataCollection
Definition: ASPDataCollection.java:3
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation
Definition: DLVParserBaseVisitorImplementation.java:12
it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation
Definition: ClingoParserBaseVisitorImplementation.java:12
it.unical.mat.parsers.asp.ASPSolversParser
Definition: ASPSolversParser.java:8
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation
Definition: DLVHEXParserBaseVisitorImplementation.java:12
it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitorImplementation
Definition: DLV2ParserBaseVisitorImplementation.java:13