Package org.tweetyproject.arg.dung.semantics

Class AbstractArgumentationInterpretation<T extends ArgumentationFramework<Argument>>

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<T,Argument>

org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation<T>

Type Parameters:

T - The type of argumentation framework

All Implemented Interfaces:

Interpretation<T,Argument>

Direct Known Subclasses:

Extension, Labeling, SerialisationSequence

public abstract class AbstractArgumentationInterpretation<T extends ArgumentationFramework<Argument>>
extends AbstractInterpretation<T,Argument>

This abstract class acts as a common ancestor for interpretations to abstract argumentation frameworks.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractArgumentationInterpretation()	Default constructor

Method Summary

Modifier and Type	Method	Description
abstract Extension	getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
boolean	satisfies(Argument formula)	Checks whether this interpretation satisfies the given formula.
boolean	satisfies(T beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
abstract String	toString()

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractArgumentationInterpretation

public AbstractArgumentationInterpretation()

Default constructor

Method Details

satisfies

public boolean satisfies(Argument formula)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Parameters:

formula - a formula .

Returns:

"true" if this interpretation satisfies the given formula.

Throws:

IllegalArgumentException - if the formula does not correspond to the expected language.

satisfies

public boolean satisfies(T beliefBase)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Parameters:

beliefBase - a knowledge base.

Returns:

"true" if this interpretation satisfies the given knowledge base.

Throws:

IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.

getArgumentsOfStatus

public abstract Extension getArgumentsOfStatus(ArgumentStatus status)

Returns all arguments that have the given status in this interpretation.

Parameters:

status - the status of the arguments to be returned.

Returns:

the set of arguments with the given status.

toString

public abstract String toString()

Overrides:

toString in class Object