7 Dec
2012
7 Dec
'12
2:52 p.m.
I have checked the internal map. If I add a single node in the graph, map.size() == 42. Instead of 1 ! If I add 5 nodes size() == 248.
So any label number inferior to map.size() will give false results ...
What's going on ?
It looks like a broken assumption in the design of labeled_graph (which is mostly experimental), that any use of integral labels would be in the range [0, num_vertices(g)). When you insert a new label, it is automatically resizing the container to accommodate your new label. You may be better off not using labeled_graph. Andrew