it.unical.mat.embasp.specializations.idlv.IDLVMinimalModels Class Reference

Inheritance diagram for it.unical.mat.embasp.specializations.idlv.IDLVMinimalModels:

Public Member Functions
	IDLVMinimalModels (String out)
	IDLVMinimalModels (String out, String err)
Public Member Functions inherited from it.unical.mat.embasp.languages.datalog.MinimalModels
	MinimalModels (final String out)
	MinimalModels (final String out, final String err)
Object	clone () throws CloneNotSupportedException
Set< MinimalModel >	getMinimalModels ()
String	getMinimalModelAsString ()
void	addMinimalModel (MinimalModel minimalModel)
Public Member Functions inherited from it.unical.mat.embasp.base.Output
	Output ()
	Output (final String initial_output)
	Output (final String out, final String err)
String	getErrors ()
String	getOutput ()
void	setErrors (final String err)
void	setOutput (final String output)

Protected Member Functions
void	parse ()

Additional Inherited Members
Protected Attributes inherited from it.unical.mat.embasp.languages.datalog.MinimalModels
Set< MinimalModel >	minimalModels
Protected Attributes inherited from it.unical.mat.embasp.base.Output
String	output
String	errors

Constructor & Destructor Documentation

IDLVMinimalModels() [1/2]

it.unical.mat.embasp.specializations.idlv.IDLVMinimalModels.IDLVMinimalModels ( String  out )

inline

IDLVMinimalModels() [2/2]

it.unical.mat.embasp.specializations.idlv.IDLVMinimalModels.IDLVMinimalModels ( String  out, String  err  )

inline

Member Function Documentation

parse()

void it.unical.mat.embasp.specializations.idlv.IDLVMinimalModels.parse ( )

inlineprotected

Reimplemented from it.unical.mat.embasp.base.Output.

---

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

• embasp-narrative/app/src/main/narrative/it/unical/mat/embasp/specializations/idlv/IDLVMinimalModels.narrative