public static interface HistoryManager.HistoricalElement
Copyright (c) 2013-2019 Delft University of Technology, PO Box 5, 2600 AA, Delft, the Netherlands. All rights reserved.
BSD-style license. See OpenTrafficSim License.
Modifier and Type | Method and Description |
---|---|
void |
cleanUpHistory(Duration history)
Removes events that are no longer needed to guarantee the history time.
|
void cleanUpHistory(Duration history)
history
- Duration; history time to keepCopyright © 2014–2019 Delft University of Technology. All rights reserved.