8 public static class ASPSolversParser
10 public static void ParseClingo(IASPDataCollection answerSets,
string atomsList,
bool two_stageParsing)
15 public static void ParseDLV(IASPDataCollection answerSets,
string atomsList,
bool two_stageParsing)
20 public static void ParseDLV2(IASPDataCollection answerSets,
string atomsList,
bool two_stageParsing)
25 public static void ParseDLVHEX(IASPDataCollection answerSets,
string atomsList,
bool two_stageParsing)