示例#1
0
void TermNamespace::remapPointers(TermMap const& remapping)
{
    StringToTermMap::iterator it;
    for (it = _map.begin(); it != _map.end(); ) {
        Term* replacement = remapping.getRemapped(it->second);
        if (replacement != it->second) {
            if (replacement == NULL) {
                _map.erase(it++);
                continue;
            }
            else {
                _map[it->first] = replacement;
            }
        }
        ++it;
    }
}