Searched refs:old_hills_end (Results 1 – 2 of 2) sorted by relevance
1285 hill_iter old_hills_end = hills.end(); in read_restart() local1368 hills.erase (hills.begin(), old_hills_end); in read_restart()
1411 hill_iter old_hills_end = hills.end(); in read_state_data() local1428 hills.erase(hills.begin(), old_hills_end); in read_state_data()