Class SetExplanation

java.lang.Object

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

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

org.tweetyproject.arg.explanations.semantics.Explanation

org.tweetyproject.arg.explanations.semantics.SetExplanation

All Implemented Interfaces:

Comparable<Explanation>, Iterable<Argument>, Collection<Argument>, Interpretation<DungTheory, Argument>

public class SetExplanation
extends Explanation
implements Collection<Argument>

Models a set-based representation for explanations for the acceptance of some argument

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SetExplanation(Argument argument, Collection<Argument> arguments)	Instantiates a new explanation for the given argument

Method Summary

Modifier and Type	Method	Description
boolean	add(Argument argument)
boolean	addAll(Collection<? extends Argument> c)
void	clear()
int	compareTo(Explanation o)
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
Extension<?>	getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
Collection<Argument>	getSetExplanation()	Returns the set-based explanation.
boolean	isEmpty()
Iterator<Argument>	iterator()
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
int	size()
Object[]	toArray()
<T> T[]	toArray(T[] a)
String	toString()

Methods inherited from class org.tweetyproject.arg.explanations.semantics.Explanation

getArgument

Methods inherited from class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation

satisfies, satisfies

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

equals, hashCode, parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

SetExplanation

public SetExplanation(Argument argument,
 Collection<Argument> arguments)

Instantiates a new explanation for the given argument

Parameters:

argument - some argument

arguments - the explaining set of arguments

Method Details

getSetExplanation

public Collection<Argument> getSetExplanation()

Description copied from class: Explanation

Returns the set-based explanation.

Specified by:

getSetExplanation in class Explanation

Returns:

the explanation as a collection of arguments

compareTo

public int compareTo(Explanation o)

Specified by:

compareTo in interface Comparable<Explanation>

size

public int size()

Specified by:

size in interface Collection<Argument>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<Argument>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<Argument>

iterator

public Iterator<Argument> iterator()

Specified by:

iterator in interface Collection<Argument>

Specified by:

iterator in interface Iterable<Argument>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<Argument>

toArray

public <T> T[] toArray(T[] a)

Specified by:

toArray in interface Collection<Argument>

add

public boolean add(Argument argument)

Specified by:

add in interface Collection<Argument>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<Argument>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<Argument>

addAll

public boolean addAll(Collection<? extends Argument> c)

Specified by:

addAll in interface Collection<Argument>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<Argument>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<Argument>

clear

public void clear()

Specified by:

clear in interface Collection<Argument>

getArgumentsOfStatus

public Extension<?> getArgumentsOfStatus(ArgumentStatus status)

Description copied from class: AbstractArgumentationInterpretation

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

Specified by:

getArgumentsOfStatus in class AbstractArgumentationInterpretation<DungTheory>

Parameters:

status - the status of the arguments to be returned.

Returns:

the set of arguments with the given status.

toString

public String toString()

Specified by:

toString in class AbstractArgumentationInterpretation<DungTheory>