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

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

Public Member Functions
	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 Attributes
Set< MinimalModel >	minimalModels
Protected Attributes inherited from it.unical.mat.embasp.base.Output
String	output
String	errors

Additional Inherited Members
Protected Member Functions inherited from it.unical.mat.embasp.base.Output
void	parse ()

Detailed Description

A utility class to wrap MinimalModel with useful methods and interface it with the parser.

Constructor & Destructor Documentation

MinimalModels() [1/2]

it.unical.mat.embasp.languages.datalog.MinimalModels.MinimalModels ( final String  out )

inline

MinimalModels() [2/2]

it.unical.mat.embasp.languages.datalog.MinimalModels.MinimalModels ( final String  out, final String  err  )

inline

Member Function Documentation

addMinimalModel()

void it.unical.mat.embasp.languages.datalog.MinimalModels.addMinimalModel ( MinimalModel  minimalModel )

inline

Implements it.unical.mat.parsers.datalog.DatalogDataCollection.

clone()

Object it.unical.mat.embasp.languages.datalog.MinimalModels.clone ( ) throws CloneNotSupportedException

inline

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

getMinimalModelAsString()

String it.unical.mat.embasp.languages.datalog.MinimalModels.getMinimalModelAsString ( )

inline

Return the current output data

Returns

the minimal model as a string object - basically, the chosen solver's raw standard output.

getMinimalModels()

Set<MinimalModel> it.unical.mat.embasp.languages.datalog.MinimalModels.getMinimalModels ( )

inline

Member Data Documentation

minimalModels

Set<MinimalModel> it.unical.mat.embasp.languages.datalog.MinimalModels.minimalModels

protected

---

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

• embasp-narrative/app/src/main/narrative/it/unical/mat/embasp/languages/datalog/MinimalModels.narrative