equal
deleted
inserted
replaced
761 |
761 |
762 |
762 |
763 /// Class describing the concept of graph maps |
763 /// Class describing the concept of graph maps |
764 |
764 |
765 /// This class describes the common interface of the graph maps |
765 /// This class describes the common interface of the graph maps |
766 /// (NodeMap, EdgeMap), that is \ref maps-pages "maps" which can be used to |
766 /// (NodeMap, EdgeMap), that is \ref maps-page "maps" which can be used to |
767 /// associate data to graph descriptors (nodes or edges). |
767 /// associate data to graph descriptors (nodes or edges). |
768 template <typename Graph, typename Item, typename _Value> |
768 template <typename Graph, typename Item, typename _Value> |
769 class GraphMap : public ReadWriteMap<Item, _Value> { |
769 class GraphMap : public ReadWriteMap<Item, _Value> { |
770 protected: |
770 protected: |
771 GraphMap() {} |
771 GraphMap() {} |