Searched refs:idPosR (Results 1 – 2 of 2) sorted by relevance
387 if (idPosR.find(asId(start+1)) == idPosR.end()) in stripDeadRefs()412 idPosR.clear(); in buildLocalMaps()433 idPosR[resultId] = start; in buildLocalMaps()1266 const auto tid_it = idPosR.find(id); in idPos()1267 if (tid_it == idPosR.end()) { in idPos()
277 posmap_rev_t idPosR; // reverse map from IDs to positions variable