Searched refs:full_to_global (Results 1 – 1 of 1) sorted by relevance
83 std::map<FullHandle, int> full_to_global; variable91 full_to_global[full_handle] = global_handle; in assign_global_handle()121 if (full_to_global.count(*full_handle)) { in get_global_handle()122 global_handle = full_to_global[*full_handle]; in get_global_handle()