On Dec 20, 2004, at 4:17 AM, Sebastian Weber wrote:
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.
I've added some text to the filtered_graph description stating this (with a link to the footnote), so hopefully others won't get tripped up by this in the future. Doug