net.sf.tweety.lp.asp.semantics

Class AnswerSet

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<B,S>

net.sf.tweety.commons.InterpretationSet<ASPLiteral,Program,ASPRule>

net.sf.tweety.lp.asp.semantics.AnswerSet

All Implemented Interfaces:

Iterable<ASPLiteral>, Collection<ASPLiteral>, net.sf.tweety.commons.Interpretation<Program,ASPRule>

public class AnswerSet
extends net.sf.tweety.commons.InterpretationSet<ASPLiteral,Program,ASPRule>

An answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.

Author:

Thomas Vengels, Tim Janus, Anna Gessler

Field Summary

Fields

Modifier and Type	Field and Description
int	level
int	weight

Constructor Summary

Constructors

Constructor and Description
AnswerSet() Creates a new empty AnswerSet.
AnswerSet(AnswerSet other) Copy-Constructor
AnswerSet(Collection<ASPLiteral> lits, int level, int weight) Creates a new empty AnswerSet with the given level and weight.

Method Summary

Modifier and Type	Method and Description
Object	clone()
Set<ASPLiteral>	getLiteralsWithName(String name) Returns all literals of a given name in the AnswerSet.
boolean	satisfies(ASPRule formula)
boolean	satisfies(Program beliefBase)
String	toString()

Methods inherited from class net.sf.tweety.commons.InterpretationSet

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

level

public final int level

weight

public final int weight

Constructor Detail

AnswerSet

public AnswerSet()

Creates a new empty AnswerSet.

AnswerSet

public AnswerSet(Collection<ASPLiteral> lits,
                 int level,
                 int weight)

Creates a new empty AnswerSet with the given level and weight.

Parameters:

level -

weight -

AnswerSet

public AnswerSet(AnswerSet other)

Copy-Constructor

Parameters:

level -

weight -

Method Detail

getLiteralsWithName

public Set<ASPLiteral> getLiteralsWithName(String name)

Returns all literals of a given name in the AnswerSet.

Parameters:

name -

Returns:

set of literals

toString

public String toString()

Overrides:

toString in class net.sf.tweety.commons.InterpretationSet<ASPLiteral,Program,ASPRule>

clone

public Object clone()

Overrides:

clone in class Object

satisfies

public boolean satisfies(Program beliefBase)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(ASPRule formula)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException