equal
deleted
inserted
replaced
980 }; |
980 }; |
981 |
981 |
982 /// \brief Class describing the concept of graph maps |
982 /// \brief Class describing the concept of graph maps |
983 /// |
983 /// |
984 /// This class describes the common interface of the graph maps |
984 /// This class describes the common interface of the graph maps |
985 /// (NodeMap, ArcMap), that is \ref maps-page "maps" which can be used to |
985 /// (NodeMap, ArcMap), that is maps that can be used to |
986 /// associate data to graph descriptors (nodes or arcs). |
986 /// associate data to graph descriptors (nodes or arcs). |
987 template <typename _Graph, typename _Item, typename _Value> |
987 template <typename _Graph, typename _Item, typename _Value> |
988 class GraphMap : public ReadWriteMap<_Item, _Value> { |
988 class GraphMap : public ReadWriteMap<_Item, _Value> { |
989 public: |
989 public: |
990 |
990 |