EmbASP-Java
|
Static Public Member Functions | |
static void | parseClingo (final ASPDataCollection answerSets, final String atomsList, final boolean two_stageParsing) |
static void | parseDLV (final ASPDataCollection answerSets, final String atomsList, final boolean two_stageParsing) |
static void | parseDLV2 (final ASPDataCollection answerSets, final String atomsList, final boolean two_stageParsing) |
static void | parseDLVHEX (final ASPDataCollection answerSets, final String atomsList, final boolean two_stageParsing) |
Definition at line 8 of file ASPSolversParser.java.