45 void addSharedID(
const T& ID,
size_t numSharingProcs,
const int* sharingProcs)
47 typename map_type::iterator iter = sharedIDs_.find(ID);
48 if (iter == sharedIDs_.end()) {
49 iter = sharedIDs_.insert(std::make_pair(ID,std::set<int>())).first;
51 for(
size_t i=0; i<numSharingProcs; ++i) {
52 iter->second.insert(sharingProcs[i]);