Class HistoricalHashSet<E>

    • Constructor Detail

      • HistoricalHashSet

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

        public HistoricalHashSet​(HistoryManager historyManager,
                                 Collection<? extends E> c)
        Constructor.
        Parameters:
        historyManager - HistoryManager; history manager
        c - Collection<? extends E>; initial collection