EmbASP-Java
Static Public Member Functions | List of all members
it.unical.mat.parsers.asp.ASPSolversParser Class Reference

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)
 

Detailed Description

Definition at line 8 of file ASPSolversParser.java.


The documentation for this class was generated from the following file: