it.unical.mat.embasp.specializations.dlv.DLVAnswerSets Class Reference

Inheritance diagram for it.unical.mat.embasp.specializations.dlv.DLVAnswerSets:

Public Member Functions
	DLVAnswerSets (final String answerSets)
	DLVAnswerSets (final String out, final String err)
Public Member Functions inherited from it.unical.mat.embasp.languages.asp.AnswerSets
	AnswerSets (final String out)
	AnswerSets (final String out, final String err)
Object	clone () throws CloneNotSupportedException
List< AnswerSet >	getAnswersets ()
List< AnswerSet >	getOptimalAnswerSets ()
String	getAnswerSetsString ()
void	addAnswerSet ()
void	storeAtom (final String result)
void	storeCost (final int level, final int weight)
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.asp.AnswerSets
List< AnswerSet >	answersets
Protected Attributes inherited from it.unical.mat.embasp.base.Output
String	output
String	errors

Constructor & Destructor Documentation

DLVAnswerSets() [1/2]

it.unical.mat.embasp.specializations.dlv.DLVAnswerSets.DLVAnswerSets ( final String  answerSets )

inline

Represent an AnswerSet specific for DLV

DLVAnswerSets() [2/2]

it.unical.mat.embasp.specializations.dlv.DLVAnswerSets.DLVAnswerSets ( final String  out, final String  err  )

inline

Member Function Documentation

parse()

void it.unical.mat.embasp.specializations.dlv.DLVAnswerSets.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/dlv/DLVAnswerSets.narrative