reset method

@override void reset()

Clear all per-exploration state: exhaustion sets, visited-offset history, sub-scroller cache.

Implementation

@override
void reset() {
  _scrollerCache.clear();
  _exhaustedFwd.clear();
  _exhaustedBwd.clear();
  _visitedFwd.clear();
  _visitedBwd.clear();
  _exhaustedHoriz.clear();
  _visitedHoriz.clear();
}