Class HistoryManagerDEVS

    • Constructor Detail

      • HistoryManagerDEVS

        public HistoryManagerDEVS​(DEVSSimulatorInterface.TimeDoubleUnit simulator,
                                  Duration history,
                                  Duration cleanUpInterval)
        Constructor.
        Parameters:
        simulator - DEVSSimulatorInterface.TimeDoubleUnit; simulator
        history - Duration; time over which history is guaranteed
        cleanUpInterval - Duration; clean-up interval
    • Method Detail

      • now

        public Time now()
      • cleanUpHistory

        protected final void cleanUpHistory()
        Cleans up the history of all registered Historicals.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object