Function edgePointerReplacement(replacement_map_t const&)#
Defined in File edge_ptr_repl.h
Function Documentation#
-
void edgePointerReplacement(replacement_map_t const&)#
For all nodes in the memory pool, it looks for the edges in the replacement map. If a match is found the edge is updated.