EmbASP-Java v7.1.0
Static Public Member Functions | List of all members
it.unical.mat.parsers.datalog.DatalogSolversParser Class Reference

Static Public Member Functions

static void parseIDLV (final DatalogDataCollection models, final String atomsList, final boolean two_stageParsing)
 

Member Function Documentation

◆ parseIDLV()

static void it.unical.mat.parsers.datalog.DatalogSolversParser.parseIDLV ( final DatalogDataCollection  models,
final String  atomsList,
final boolean  two_stageParsing 
)
inlinestatic

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