20 Dec
2004
20 Dec
'04
9:17 a.m.
The filtered_graph docs for num_vertices say that it returns the number of vertices in the underlying graph, and has a footnote giving the rationale/explanation that I repeated here. What more information could we give here?
Just found it in the docs. Sorry for my blindeness, but I thought of the filtered_graph in terms of a regular graph (so no special num_vertices behaviour). I learned the hard way :-(. Maybe this exception of num_vertices should be mentioned in the description text of filtered_graph along with the reasons you lined out. Sebastian