Class SequenceExplanation

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.SequenceExplanation

All Implemented Interfaces:

Comparable<Explanation>, Iterable<Collection<? extends Argument>>, Collection<Collection<? extends Argument>>, List<Collection<? extends Argument>>, SequencedCollection<Collection<? extends Argument>>, Interpretation<DungTheory, Argument>

public class SequenceExplanation
extends Explanation
implements List<Collection<? extends Argument>>

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

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SequenceExplanation(Argument argument, SerialisationSequence sequence)	Instantiates an explanation for the given argument

Method Summary

Modifier and Type	Method	Description
void	add(int index, Collection<? extends Argument> element)
boolean	add(Collection<? extends Argument> arguments)
boolean	addAll(int index, Collection<? extends Collection<? extends Argument>> c)
boolean	addAll(Collection<? extends Collection<? extends Argument>> c)
void	clear()
int	compareTo(Explanation o)
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
Collection<? extends Argument>	get(int index)
Extension<?>	getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
List<Collection<? extends Argument>>	getSequence()	returns the sequence representation of the explanation
Collection<Argument>	getSetExplanation()	Returns the set-based explanation.
int	indexOf(Object o)
boolean	isEmpty()
Iterator<Collection<? extends Argument>>	iterator()
int	lastIndexOf(Object o)
ListIterator<Collection<? extends Argument>>	listIterator()
ListIterator<Collection<? extends Argument>>	listIterator(int index)
Collection<? extends Argument>	remove(int index)
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
Collection<? extends Argument>	set(int index, Collection<? extends Argument> element)
int	size()
List<Collection<? extends Argument>>	subList(int fromIndex, int toIndex)
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

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.List

addFirst, addLast, equals, getFirst, getLast, hashCode, removeFirst, removeLast, replaceAll, reversed, sort, spliterator

Constructor Details

SequenceExplanation

public SequenceExplanation(Argument argument,
 SerialisationSequence sequence)

Instantiates an explanation for the given argument

Parameters:

argument - some argument

sequence - the explaining sequence of sets of arguments

Method Details

getSequence

public List<Collection<? extends Argument>> getSequence()

returns the sequence representation of the explanation

Returns:

sequence representation of the explanation

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>

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>

size

public int size()

Specified by:

size in interface Collection<Collection<? extends Argument>>

Specified by:

size in interface List<Collection<? extends Argument>>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<Collection<? extends Argument>>

Specified by:

isEmpty in interface List<Collection<? extends Argument>>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<Collection<? extends Argument>>

Specified by:

contains in interface List<Collection<? extends Argument>>

iterator

public Iterator<Collection<? extends Argument>> iterator()

Specified by:

iterator in interface Collection<Collection<? extends Argument>>

Specified by:

iterator in interface Iterable<Collection<? extends Argument>>

Specified by:

iterator in interface List<Collection<? extends Argument>>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<Collection<? extends Argument>>

Specified by:

toArray in interface List<Collection<? extends Argument>>

toArray

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

Specified by:

toArray in interface Collection<Collection<? extends Argument>>

Specified by:

toArray in interface List<Collection<? extends Argument>>

add

public boolean add(Collection<? extends Argument> arguments)

Specified by:

add in interface Collection<Collection<? extends Argument>>

Specified by:

add in interface List<Collection<? extends Argument>>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<Collection<? extends Argument>>

Specified by:

remove in interface List<Collection<? extends Argument>>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<Collection<? extends Argument>>

Specified by:

containsAll in interface List<Collection<? extends Argument>>

addAll

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

Specified by:

addAll in interface Collection<Collection<? extends Argument>>

Specified by:

addAll in interface List<Collection<? extends Argument>>

addAll

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

Specified by:

addAll in interface List<Collection<? extends Argument>>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<Collection<? extends Argument>>

Specified by:

removeAll in interface List<Collection<? extends Argument>>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<Collection<? extends Argument>>

Specified by:

retainAll in interface List<Collection<? extends Argument>>

clear

public void clear()

Specified by:

clear in interface Collection<Collection<? extends Argument>>

Specified by:

clear in interface List<Collection<? extends Argument>>

get

public Collection<? extends Argument> get(int index)

Specified by:

get in interface List<Collection<? extends Argument>>

set

public Collection<? extends Argument> set(int index,
 Collection<? extends Argument> element)

Specified by:

set in interface List<Collection<? extends Argument>>

add

public void add(int index,
 Collection<? extends Argument> element)

Specified by:

add in interface List<Collection<? extends Argument>>

remove

public Collection<? extends Argument> remove(int index)

Specified by:

remove in interface List<Collection<? extends Argument>>

indexOf

public int indexOf(Object o)

Specified by:

indexOf in interface List<Collection<? extends Argument>>

lastIndexOf

public int lastIndexOf(Object o)

Specified by:

lastIndexOf in interface List<Collection<? extends Argument>>

listIterator

public ListIterator<Collection<? extends Argument>> listIterator()

Specified by:

listIterator in interface List<Collection<? extends Argument>>

listIterator

public ListIterator<Collection<? extends Argument>> listIterator(int index)

Specified by:

listIterator in interface List<Collection<? extends Argument>>

subList

public List<Collection<? extends Argument>> subList(int fromIndex,
 int toIndex)

Specified by:

subList in interface List<Collection<? extends Argument>>