TimeTravel

constructor(maxHistorySize: Int = DefaultHistorySize)
constructor(maxStates: Int = DefaultHistorySize, maxIntents: Int = DefaultHistorySize, maxActions: Int = DefaultHistorySize, maxExceptions: Int = DefaultHistorySize)