EmbASP-Java v7.1.0
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)
 

Member Function Documentation

◆ parseClingo()

static void it.unical.mat.parsers.asp.ASPSolversParser.parseClingo ( final ASPDataCollection  answerSets,
final String  atomsList,
final boolean  two_stageParsing 
)
inlinestatic

◆ parseDLV()

static void it.unical.mat.parsers.asp.ASPSolversParser.parseDLV ( final ASPDataCollection  answerSets,
final String  atomsList,
final boolean  two_stageParsing 
)
inlinestatic

◆ parseDLV2()

static void it.unical.mat.parsers.asp.ASPSolversParser.parseDLV2 ( final ASPDataCollection  answerSets,
final String  atomsList,
final boolean  two_stageParsing 
)
inlinestatic

◆ parseDLVHEX()

static void it.unical.mat.parsers.asp.ASPSolversParser.parseDLVHEX ( final ASPDataCollection  answerSets,
final String  atomsList,
final boolean  two_stageParsing 
)
inlinestatic

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