EmbASP-Java v7.1.0
|
This is the complete list of members for it.unical.mat.embasp.languages.datalog.MinimalModel, including all inherited members.
getAtomsAsObjectSet() | it.unical.mat.embasp.languages.datalog.MinimalModel | inline |
getAtomsAsStringList() | it.unical.mat.embasp.languages.datalog.MinimalModel | inline |
MinimalModel(final Set< String > atomList) | it.unical.mat.embasp.languages.datalog.MinimalModel | inline |