EmbASP-CSharp 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.

Atomsit.unical.mat.embasp.languages.datalog.MinimalModel
GetAtomsAsStringListit.unical.mat.embasp.languages.datalog.MinimalModel
MinimalModel(ISet< string > output)it.unical.mat.embasp.languages.datalog.MinimalModelinline
ToString()it.unical.mat.embasp.languages.datalog.MinimalModel