net.sf.tweety.preferences.update

Class UpdateStream<T>

java.lang.Object

net.sf.tweety.preferences.update.UpdateStream<T>

Type Parameters:

T -

public class UpdateStream<T>
extends java.lang.Object

Konzeption: Der Update-Stream ist eine Datenstruktur, die benutzt wird, um eine Reihe von Updates fuer dynamische POs einzuspeisen und zu verwalten. In dem Stream stehen Update-Elemente vom Typ Update, die wie folgt aufgebaut sind: Update(Praeferenzordnung, Operation, Anzahl der Operationen, Element) (Update, Operation, Integer, T>) Pro Aggregator-Instanz wird ein UpdateStream sowie Reader/Writer von dessen Konstruktor erzeugt. Fragen/Probleme: - Writer exklusiv zugaenglich fuer die Listener eines Aggregators?

Author:

Bastian Wolf

Field Summary

Fields

Modifier and Type	Field and Description
java.util.LinkedList<Update<T>>	stream

Constructor Summary

Constructors

Constructor and Description
UpdateStream()

Method Summary

Modifier and Type	Method and Description
void	add(Update<T> update)
boolean	isEmpty()
Update<T>	next()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

stream

public java.util.LinkedList<Update<T>> stream

Constructor Detail

UpdateStream

public UpdateStream()

Method Detail

add

public void add(Update<T> update)

next

public Update<T> next()

isEmpty

public boolean isEmpty()