void map_labels::clear_map(label_map &m, bool force) { label_map::iterator i = m.begin(); while (i != m.end()) { if (!i->second->immutable() || force) { delete i->second; m.erase(i++); } else ++i; } }