Ticket #10708: add_vertex.patch

subgraph.hpp.

@@ -144 +144 @@
         typename subgraph<Graph>::children_iterator i,i_end;
         boost::tie(i,i_end) = x.children();
         for(; i != i_end; ++i)
-        {         
+        {
          subgraph<Graph> child = this->create_subgraph();
          child = *i;
-         vertex_iterator vi,vi_end;   
+         vertex_iterator vi,vi_end;
          boost::tie(vi,vi_end) = vertices(*i);
-         for (;vi!=vi_end;++vi)  
+         for (;vi!=vi_end;++vi)
          {
           add_vertex(*vi,child);
          }
@@ -721 +721 @@
 namespace detail {
     template <typename G>
     typename subgraph<G>::vertex_descriptor
-    add_vertex_recur_up(subgraph<G>& g)
+    add_vertex_recur_up(const typename G::vertex_property_type& p,
+                        subgraph<G>& g)
     {
         typename subgraph<G>::vertex_descriptor u_local, u_global;
         if (g.is_root()) {
-            u_global = add_vertex(g.m_graph);
+            u_global = add_vertex(p, g.m_graph);
             g.m_global_vertex.push_back(u_global);
         } else {
-            u_global = add_vertex_recur_up(*g.m_parent);
+            u_global = add_vertex_recur_up(p, *g.m_parent);
             u_local = add_vertex(g.m_graph);
             g.m_global_vertex.push_back(u_global);
             g.m_local_vertex[u_global] = u_local;
@@ -747 +748 @@
         g.m_global_vertex.push_back(u_global);
         u_local = u_global;
     } else {
-        u_global = detail::add_vertex_recur_up(g.parent());
+        u_global = detail::add_vertex_recur_up(typename G::vertex_property_type(), g.parent());
         u_local = add_vertex(g.m_graph);
         g.m_global_vertex.push_back(u_global);
         g.m_local_vertex[u_global] = u_local;
@@ -755 +756 @@
     return u_local;
 }
 
+template <typename G>
+typename subgraph<G>::vertex_descriptor
+add_vertex(const typename G::vertex_property_type& p, subgraph<G>& g)
+{
+    typename subgraph<G>::vertex_descriptor  u_local, u_global;
+
+    u_global = detail::add_vertex_recur_up(p, g);
+    u_local = g.global_to_local(u_global);
+
+    return u_local;
+}
+
 
 #if 0
 // TODO: Under Construction