Searched refs:new_weighted_stadt (Results 1 – 1 of 1) sorted by relevance
5585 weighted_vector_tpl<stadt_t*> new_weighted_stadt(stadt.get_count() + 1); in load() local5589 new_weighted_stadt.append(s, s->get_einwohner()); in load()5592 swap(stadt, new_weighted_stadt); in load()