it.unical.mat.embasp.languages.asp

Class AnswerSets

java.lang.Object

it.unical.mat.embasp.base.Output

it.unical.mat.embasp.languages.asp.AnswerSets

All Implemented Interfaces:

it.unical.mat.parsers.asp.ASPDataCollection, java.lang.Cloneable

Direct Known Subclasses:

ClingoAnswerSets, DLV2AnswerSets, DLVAnswerSets, DLVHEXAnswerSets

public abstract class AnswerSets
extends Output
implements it.unical.mat.parsers.asp.ASPDataCollection

A collection of AnswerSet

Constructor Summary

Constructors

Constructor and Description
AnswerSets(java.lang.String out)
AnswerSets(java.lang.String out, java.lang.String err)

Method Summary

Modifier and Type	Method and Description
void	addAnswerSet()
java.lang.Object	clone()
java.util.List<AnswerSet>	getAnswersets()
java.lang.String	getAnswerSetsString()
java.util.List<AnswerSet>	getOptimalAnswerSets()
void	storeAtom(java.lang.String result)
void	storeCost(int level, int weight)

Methods inherited from class it.unical.mat.embasp.base.Output

getErrors, getOutput, setErrors, setOutput

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AnswerSets

public AnswerSets(java.lang.String out)

AnswerSets

public AnswerSets(java.lang.String out,
                  java.lang.String err)

Method Detail

clone

public java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException

Overrides:

clone in class Output

Throws:

java.lang.CloneNotSupportedException

getAnswersets

public java.util.List<AnswerSet> getAnswersets()

getOptimalAnswerSets

public java.util.List<AnswerSet> getOptimalAnswerSets()

getAnswerSetsString

public java.lang.String getAnswerSetsString()

addAnswerSet

public void addAnswerSet()

Specified by:

addAnswerSet in interface it.unical.mat.parsers.asp.ASPDataCollection

storeAtom

public void storeAtom(java.lang.String result)

Specified by:

storeAtom in interface it.unical.mat.parsers.asp.ASPDataCollection

storeCost

public void storeCost(int level,
                      int weight)

Specified by:

storeCost in interface it.unical.mat.parsers.asp.ASPDataCollection