EmbASP-Narrative v7.1.0
Public Member Functions | Protected Attributes | List of all members
it.unical.mat.embasp.languages.asp.AnswerSets Class Referenceabstract
Inheritance diagram for it.unical.mat.embasp.languages.asp.AnswerSets:
it.unical.mat.embasp.base.Output it.unical.mat.parsers.asp.ASPDataCollection it.unical.mat.embasp.specializations.clingo.ClingoAnswerSets it.unical.mat.embasp.specializations.dlv2.DLV2AnswerSets it.unical.mat.embasp.specializations.dlv.DLVAnswerSets it.unical.mat.embasp.specializations.dlvhex.DLVHEXAnswerSets

Public Member Functions

 AnswerSets (final String out)
 
 AnswerSets (final String out, final String err)
 
Object clone () throws CloneNotSupportedException
 
List< AnswerSetgetAnswersets ()
 
List< AnswerSetgetOptimalAnswerSets ()
 
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 Attributes

List< AnswerSetanswersets
 
- 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 collection of AnswerSet

Constructor & Destructor Documentation

◆ AnswerSets() [1/2]

it.unical.mat.embasp.languages.asp.AnswerSets.AnswerSets ( final String  out)
inline

◆ AnswerSets() [2/2]

it.unical.mat.embasp.languages.asp.AnswerSets.AnswerSets ( final String  out,
final String  err 
)
inline

Member Function Documentation

◆ addAnswerSet()

void it.unical.mat.embasp.languages.asp.AnswerSets.addAnswerSet ( )
inline

◆ clone()

Object it.unical.mat.embasp.languages.asp.AnswerSets.clone ( ) throws CloneNotSupportedException
inline

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

◆ getAnswersets()

List<AnswerSet> it.unical.mat.embasp.languages.asp.AnswerSets.getAnswersets ( )
inline

◆ getAnswerSetsString()

String it.unical.mat.embasp.languages.asp.AnswerSets.getAnswerSetsString ( )
inline

◆ getOptimalAnswerSets()

List<AnswerSet> it.unical.mat.embasp.languages.asp.AnswerSets.getOptimalAnswerSets ( )
inline

◆ storeAtom()

void it.unical.mat.embasp.languages.asp.AnswerSets.storeAtom ( final String  result)
inline

◆ storeCost()

void it.unical.mat.embasp.languages.asp.AnswerSets.storeCost ( final int  level,
final int  weight 
)
inline

Member Data Documentation

◆ answersets

List<AnswerSet> it.unical.mat.embasp.languages.asp.AnswerSets.answersets
protected

Where Answer Sets are stored


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