Package org.tweetyproject.arg.dung.serialisibility.syntax

Class TransitionStateSequence

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.AbstractSequentialList<E>

java.util.LinkedList<TransitionState>

org.tweetyproject.arg.dung.serialisibility.syntax.TransitionStateSequence

All Implemented Interfaces:

Serializable, Cloneable, Iterable<TransitionState>, Collection<TransitionState>, Deque<TransitionState>, List<TransitionState>, Queue<TransitionState>

public class TransitionStateSequence
extends LinkedList<TransitionState>

This class represents a sequence of TransitionStates. Those TransitionStates are traversed when serialising extensions, in order to find the serialisable extensions of the abstract argumentation framework in the first TransitionState of this sequence.

Version:

TweetyProject 1.23

Author:

Julian Sander

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
TransitionStateSequence(DungTheory origin, SerialisationSequence sequence)	Creates a new TransitionStateSequence

Method Summary

Modifier and Type	Method	Description
void	add(int index, TransitionState element)
boolean	add(TransitionState element)

Methods inherited from class java.util.LinkedList

addAll, addAll, addFirst, addLast, clear, clone, contains, descendingIterator, element, get, getFirst, getLast, indexOf, lastIndexOf, listIterator, offer, offerFirst, offerLast, peek, peekFirst, peekLast, poll, pollFirst, pollLast, pop, push, remove, remove, remove, removeFirst, removeFirstOccurrence, removeLast, removeLastOccurrence, set, size, spliterator, toArray, toArray

Methods inherited from class java.util.AbstractSequentialList

iterator

Methods inherited from class java.util.AbstractList

equals, hashCode, listIterator, subList

Methods inherited from class java.util.AbstractCollection

containsAll, isEmpty, removeAll, retainAll, toString

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.util.Deque

iterator

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.List

containsAll, equals, hashCode, isEmpty, iterator, listIterator, removeAll, replaceAll, retainAll, sort, subList

Constructor Details

TransitionStateSequence

public TransitionStateSequence(DungTheory origin,
 SerialisationSequence sequence)

Creates a new TransitionStateSequence

Parameters:

origin - Abstract argumentation framework, which serialisability is described by this TransitionStateSequence

sequence - SerialisationSequence, which describes the se

Method Details

add

public boolean add(TransitionState element)

Specified by:

add in interface Collection<TransitionState>

Specified by:

add in interface Deque<TransitionState>

Specified by:

add in interface List<TransitionState>

Specified by:

add in interface Queue<TransitionState>

Overrides:

add in class LinkedList<TransitionState>

add

public void add(int index,
 TransitionState element)

Specified by:

add in interface List<TransitionState>

Overrides:

add in class LinkedList<TransitionState>