EmbASP-Java v7.1.0
it
unical
mat
parsers
datalog
DatalogSolversParser
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
)
inline
static
The documentation for this class was generated from the following file:
embasp-java/app/src/main/java/it/unical/mat/parsers/datalog/
DatalogSolversParser.java
Generated by
1.9.0