Searched refs:old_hills_off_grid_end (Results 1 – 2 of 2) sorted by relevance
1286 hill_iter old_hills_off_grid_end = hills_off_grid.end(); in read_restart() local1369 hills_off_grid.erase (hills_off_grid.begin(), old_hills_off_grid_end); in read_restart()
1412 hill_iter old_hills_off_grid_end = hills_off_grid.end(); in read_state_data() local1429 hills_off_grid.erase(hills_off_grid.begin(), old_hills_off_grid_end); in read_state_data()