Class HistoricalTreeSet<E>

    • Constructor Detail

      • HistoricalTreeSet

        public HistoricalTreeSet​(HistoryManager historyManager)
        Constructor.
        Parameters:
        historyManager - HistoryManager; history manager
      • HistoricalTreeSet

        public HistoricalTreeSet​(HistoryManager historyManager,
                                 java.util.Collection<? extends E> c)
        Constructor.
        Parameters:
        historyManager - HistoryManager; history manager
        c - Collection<? extends E>; initial collection
    • Method Detail

      • get

        public java.util.TreeSet<E> get()
        Returns the current navigable set.
        Returns:
        NavigableSet; current navigable set
      • get

        public java.util.TreeSet<E> get​(Time time)
        Returns a past navigable set.
        Parameters:
        time - Time; time to obtain the navigable set at
        Returns:
        NavigableSet; past navigable set