Class HistoricalPriorityQueue<E>

    • Constructor Detail

      • HistoricalPriorityQueue

        public HistoricalPriorityQueue​(HistoryManager historyManager)
        Construct a new, empty HistoricalPriorityQueue.
        Parameters:
        historyManager - HistoryManager; history manager
      • HistoricalPriorityQueue

        public HistoricalPriorityQueue​(HistoryManager historyManager,
                                       Collection<? extends E> c)
        Construct a new HistoricalPriorityQueue and fill it with the elements of the given collection.
        Parameters:
        historyManager - HistoryManager; history manager
        c - Collection<? extends E>; initial collection
    • Method Detail

      • get

        public PriorityQueue<E> get()
        Retrieve the current, internal queue. TODO document what the caller may do with the result
        Returns:
        Queue<E>; current queue
      • get

        public PriorityQueue<E> get​(Time time)
        Retrieve a past queue.
        Parameters:
        time - Time; time to obtain the queue at
        Returns:
        Queue<E>; past queue