EmbASP-CSharp
ASPSolversParser.cs
2 using it.unical.mat.parsers.asp.dlv;
5 
7 {
8  public static class ASPSolversParser
9  {
10  public static void ParseClingo(IASPDataCollection answerSets, string atomsList, bool two_stageParsing)
11  {
12  ClingoParserBaseVisitorImplementation.Parse(answerSets, atomsList, two_stageParsing);
13  }
14 
15  public static void ParseDLV(IASPDataCollection answerSets, string atomsList, bool two_stageParsing)
16  {
17  DLVParserBaseVisitorImplementation.Parse(answerSets, atomsList, two_stageParsing);
18  }
19 
20  public static void ParseDLV2(IASPDataCollection answerSets, string atomsList, bool two_stageParsing)
21  {
22  DLV2ParserBaseVisitorImplementation.Parse(answerSets, atomsList, two_stageParsing);
23  }
24 
25  public static void ParseDLVHEX(IASPDataCollection answerSets, string atomsList, bool two_stageParsing)
26  {
27  DLVHEXParserBaseVisitorImplementation.Parse(answerSets, atomsList, two_stageParsing);
28  }
29  }
30 }
it.unical.mat.parsers.asp.dlv
Definition: DLVParserBaseVisitorImplementation.cs:5
it.unical
Definition: AnswerSet.cs:5
it.unical.mat.parsers.asp
Definition: ASPParser.cs:6
it.unical.mat.parsers.asp.dlvhex
Definition: DLVHEXParserBaseVisitorImplementation.cs:5
it.unical.mat.parsers.asp.dlv2
Definition: DLV2ParserBaseVisitorImplementation.cs:6
it
Definition: AnswerSet.cs:5
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation
Definition: DLVParserBaseVisitorImplementation.cs:7
it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation
Definition: ClingoParserBaseVisitorImplementation.cs:7
it.unical.mat.parsers
Definition: ASPParser.cs:6
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation
Definition: DLVHEXParserBaseVisitorImplementation.cs:7
it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitorImplementation
Definition: DLV2ParserBaseVisitorImplementation.cs:8
it.unical.mat
Definition: AnswerSet.cs:5
it.unical.mat.parsers.asp.clingo
Definition: ClingoParserBaseVisitorImplementation.cs:5