void SplitIfNeeded(int time) { if (time < last_time + DeltaT) return; Split (time - 1); last_time = time; }