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

Inheritance diagram for it.unical.mat.embasp.languages.datalog.MinimalModels:

Public Member Functions
	MinimalModels (string @out)
	MinimalModels (string @out, string err)
override object	Clone ()
void	AddMinimalModel (MinimalModel minMod)

Public Attributes
virtual string	MinimalModelsAsString => output

Properties
virtual ISet< MinimalModel >	Minimalmodels [get]

Constructor & Destructor Documentation

MinimalModels() [1/2]

it.unical.mat.embasp.languages.datalog.MinimalModels.MinimalModels ( string @  out )

inline

MinimalModels() [2/2]

it.unical.mat.embasp.languages.datalog.MinimalModels.MinimalModels ( string @  out, string  err  )

inline

Member Function Documentation

AddMinimalModel()

void it.unical.mat.embasp.languages.datalog.MinimalModels.AddMinimalModel ( MinimalModel  minMod )

inline

Implements it.unical.mat.parsers.datalog.IDatalogDataCollection.

Clone()

override object it.unical.mat.embasp.languages.datalog.MinimalModels.Clone

(

)

Member Data Documentation

MinimalModelsAsString

virtual string it.unical.mat.embasp.languages.datalog.MinimalModels.MinimalModelsAsString => output

Property Documentation

Minimalmodels

virtual ISet<MinimalModel> it.unical.mat.embasp.languages.datalog.MinimalModels.Minimalmodels

get

---

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

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