Package net.sf.tweety.agents.dialogues
Class DialogueTrace<S,T extends java.util.Collection<S>>
- java.lang.Object
-
- java.util.AbstractCollection<E>
-
- java.util.AbstractList<E>
-
- java.util.AbstractSequentialList<E>
-
- java.util.LinkedList<T>
-
- net.sf.tweety.agents.dialogues.DialogueTrace<S,T>
-
- Type Parameters:
S
- The type of elements in a moveT
- The type of moves in this dialgoue trace
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Cloneable
,java.lang.Iterable<T>
,java.util.Collection<T>
,java.util.Deque<T>
,java.util.List<T>
,java.util.Queue<T>
public class DialogueTrace<S,T extends java.util.Collection<S>> extends java.util.LinkedList<T>
Objects of this class represent traces of dialogue in an argumentation game, ie. sequences of moves (e.g. sets of arguments or sets of formulas).- Author:
- Tjitze Rienstra, Matthias Thimm
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description DialogueTrace()
-
Method Summary
Modifier and Type Method Description DialogueTrace<S,T>
addAndCopy(T newMove)
Returns a copy of this trace and adds the given move to this copy.java.util.Collection<S>
getElements()
Returns all elements mentioned in this dialogue trace.int
size()
-
Methods inherited from class java.util.LinkedList
add, add, 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, spliterator, toArray, toArray
-
-
-
-
Method Detail
-
getElements
public java.util.Collection<S> getElements()
Returns all elements mentioned in this dialogue trace.- Returns:
- a set of S.
-
addAndCopy
public DialogueTrace<S,T> addAndCopy(T newMove)
Returns a copy of this trace and adds the given move to this copy.- Parameters:
newMove
- Move to add to copy.- Returns:
- Copy of this trace, with newMove appended.
-
-