Interface HistoryManager.HistoricalElement

    • Method Detail

      • cleanUpHistory

        void cleanUpHistory​(Duration history)
        Removes events that are no longer needed to guarantee the history time. This is invoked by the history manager.
        Parameters:
        history - Duration; history time to keep