Package org.tweetyproject.arg.dung.serialisability.semantics

Class SerialisationSequence

java.lang.Object

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

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

org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence

All Implemented Interfaces:

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

public class SerialisationSequence
extends AbstractArgumentationInterpretation<DungTheory>
implements List<Collection<? extends Argument>>, Comparable<SerialisationSequence>

Representation of a serialisation sequence, i.e., a sequence of initial sets of the respective reducts.

Author:

Lars Bengel, Julian Sander

See Also:

• "Lydia Blümel, Matthias Thimm. 'A Ranking Semantics for Abstract Argumentation based on Serialisability.' Computational Models of Argument: Proceedings of COMMA 2022 353 (2022): 104."

Constructor Summary

Constructors

Constructor	Description
SerialisationSequence()	Initializes an empty serialisation sequence
SerialisationSequence(Collection<? extends Argument> arguments)	Initializes a serialisation sequence with arguments as the first element
SerialisationSequence(List<? extends Collection<? extends Argument>> sequence)	Initializes a serialisation sequence starting with the given List of initial sets

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(SerialisationSequence o)
boolean	contains(Object o)	Checks whether the given object is in the sequence.
boolean	containsAll(Collection<?> c)
boolean	equals(Object obj)
Collection<? extends Argument>	get(int index)
Extension<DungTheory>	getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
Extension<DungTheory>	getExtension()	Computes the corresponding extension as the union of all the sets in the sequence
int	hashCode()
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)	Removed the given initial set from the sequence.
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.dung.semantics.AbstractArgumentationInterpretation

satisfies, satisfies

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

getClass, 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, getFirst, getLast, removeFirst, removeLast, replaceAll, reversed, sort, spliterator

Constructor Details

SerialisationSequence

public SerialisationSequence()

Initializes an empty serialisation sequence

SerialisationSequence

public SerialisationSequence(Collection<? extends Argument> arguments)

Initializes a serialisation sequence with arguments as the first element

Parameters:

arguments - an initial set

SerialisationSequence

public SerialisationSequence(List<? extends Collection<? extends Argument>> sequence)

Initializes a serialisation sequence starting with the given List of initial sets

Parameters:

sequence - a sequence of initial sets

Method Details

getArgumentsOfStatus

public Extension<DungTheory> 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.

getExtension

public Extension<DungTheory> getExtension()

Computes the corresponding extension as the union of all the sets in the sequence

Returns:

An extension containing all arguments of this sequence

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)

Checks whether the given object is in the sequence.

Specified by:

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

Specified by:

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

Parameters:

o - element whose presence in this list is to be tested

Returns:

true, if the element is present in the sequence

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)

Removed the given initial set from the sequence. If given an argument removes it from the initial set it occurs in.

Specified by:

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

Specified by:

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

Parameters:

o - element to be removed from this list, if present

Returns:

true, if this list contained the specified element

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

equals

public boolean equals(Object obj)

Specified by:

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

Specified by:

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

Overrides:

equals in class Object

compareTo

public int compareTo(SerialisationSequence o)

Specified by:

compareTo in interface Comparable<SerialisationSequence>

hashCode

public int hashCode()

Specified by:

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

Specified by:

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

Overrides:

hashCode in class Object

toString

public String toString()

Specified by:

toString in class AbstractArgumentationInterpretation<DungTheory>