Class UpdateStream<T>
java.lang.Object
org.tweetyproject.preferences.update.UpdateStream<T>
- Type Parameters:
T
- generic preference order type
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<PreferenceOrder<T>, 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
-
Constructor Summary
-
Method Summary
-
Field Details
-
stream
-
-
Constructor Details
-
UpdateStream
public UpdateStream()
-
-
Method Details
-
add
-
next
-
isEmpty
public boolean isEmpty()
-