[boost] [Graph] Concept check VertexMutablePropertyGraph

Subject: [boost] [Graph] Concept check VertexMutablePropertyGraph
From: Jens Müller (blog_at_[hidden])
Date: 2012-01-03 06:15:43

Hi,

http://www.boost.org/doc/libs/1_48_0/libs/graph/doc/MutablePropertyGraph.html 
(I cannot find docs for VertexMutablePropertyGraph or 
EdgeMutablePropertyGraph) says that the types 
boost::graph_traits<G>::vertex_property_type and 
boost::graph_traits<G>::edge_property_type must exist.

However, the concept checks (in boost/graph/graph_concepts.hpp) check 
for vertex_property_type<G>::type and edge_property_type<G>::type, 
respectively.

Several questions:

1. Should there be separate docs for VertexMutablePropertyGraph and 
EdgeMutablePropertyGraph?

2. Should there be an actual concept check implementation for 
MutablePropertyGraph combining the two?

3. Should the concept check look for 
boost::graph_traits<G>::vertex_property_type instead of 
ertex_property_type<G>::type? [and the same for edge]

4. For the LEDA adapter, i.e., external adaptation, do I have to 
specialize vertex_property_type<G> and edge_property_type<G>?

Best,

Jens