it.unical.mat.embasp.languages.datalog.MinimalModel Class Reference

Public Member Functions
	MinimalModel (ISet< string > output)
override string	ToString ()

Public Attributes
virtual ISet< string >	GetAtomsAsStringList => value

Properties
virtual ISet< object >	Atoms [get]

Constructor & Destructor Documentation

MinimalModel()

it.unical.mat.embasp.languages.datalog.MinimalModel.MinimalModel ( ISet< string >  output )

inline

Member Function Documentation

ToString()

override string it.unical.mat.embasp.languages.datalog.MinimalModel.ToString

(

)

Member Data Documentation

GetAtomsAsStringList

virtual ISet<string> it.unical.mat.embasp.languages.datalog.MinimalModel.GetAtomsAsStringList => value

Property Documentation

Atoms

virtual ISet<object> it.unical.mat.embasp.languages.datalog.MinimalModel.Atoms

get

---

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

• embasp-programmatic/it/unical/mat/embasp/languages/datalog/MinimalModel.cs