Class HistoricalTreeMap<K,​V>

    • Constructor Detail

      • HistoricalTreeMap

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

        public HistoricalTreeMap​(HistoryManager historyManager,
                                 Map<? extends K,​? extends V> m)
        Construct a new HistoricalTreeMap and fill it with the elements of the given map.
        Parameters:
        historyManager - HistoryManager; history manager
        m - Map<? extends K, ? extends V>; initial map
    • Method Detail

      • get

        public TreeMap<K,​V> get()
        Retrieve the current navigable map. TODO document what the caller may do with the result.
        Returns:
        NavigableMap<K, V>; 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<K, V>; past navigable map