Edge index not persistent after save/load
Hi,
it seems to me, that edge indexes are not conserved when saving a graph. I tried this with gt-format and pickle. Is this an intended behavior?
I have a database containing edge attributes using the edge index as primary key. The database size is over 1TB, so I can't use a PropertyMap here. Also using a second PropertyMap to store the Database<->Edge mapping is not an option as an additional property map would exceed my memory limits (128G). Is there any way to preserve edge indexes when saving/loading?
Thank you!
Best
Leonhard
Edit: Here is a small example:
>>> graph_tool.util.find_edge(g, g.edge_index, 0)
[<Edge object with source '20' and target '20' at 0x7fe5722c1b98>]
>>> g.save("test.gt", "gt")
>>> g2 = graph_tool.load_graph("test.gt")
>>> graph_tool.util.find_edge(g2, g2.edge_index, 0)
[<Edge object with source '1' and target '1' at 0x7fe552908df8>]
Edge index 0 points to edge 20->20 in the original graph and to 1->1 in the loaded graph.