Class UpdateStream<T>

java.lang.Object
org.tweetyproject.preferences.update.UpdateStream<T>
Type Parameters:
T - generic preference order type

public class UpdateStream<T> extends 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<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 Details

  • Constructor Details

    • UpdateStream

      public UpdateStream()
  • Method Details

    • add

      public void add(Update<T> update)
    • next

      public Update<T> next()
    • isEmpty

      public boolean isEmpty()