EmbASP-Java v7.1.0
it.unical.mat.embasp.languages.datalog.MinimalModel Member List

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.MinimalModelinline
getAtomsAsStringList()it.unical.mat.embasp.languages.datalog.MinimalModelinline
MinimalModel(final Set< String > atomList)it.unical.mat.embasp.languages.datalog.MinimalModelinline