Class HistoricalTreeMap<K,​V>

    • Constructor Detail

      • HistoricalTreeMap

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

        public HistoricalTreeMap​(HistoryManager historyManager,
                                 Map<? extends K,​? extends V> m)
        Constructor.
        Parameters:
        historyManager - HistoryManager; history manager
        m - Map<? extends K, ? extends V>; initial map
    • Method Detail

      • get

        public TreeMap<K,​V> get()
        Returns the current navigable map.
        Returns:
        NavigableMap; current navigable map
      • get

        public TreeMap<K,​V> get​(Time time)
        Returns a past navigable map.
        Parameters:
        time - Time; time to obtain the navigable map at
        Returns:
        NavigableMap; past navigable map