#include <boost/graph/graph_concepts.hpp>
#include <boost/graph/adjacency_list.hpp>

using namespace boost;
struct EdgeProp
{
  double weight;
};

typedef adjacency_list<vecS, vecS, directedS, no_property, EdgeProp > graph_t;
int main()
{
  typedef property_map<graph_t, double EdgeProp::*>::type WeightMap;
  typedef property_map<graph_t, double EdgeProp::*>::const_type cWeightMap;
  typedef graph_traits<graph_t>::edge_descriptor Edge;
  //function_requires<ReadablePropertyMapConcept<WeightMap, Edge> >();
  function_requires<ReadablePropertyMapConcept<cWeightMap, Edge> >();
  return EXIT_SUCCESS;
}