equal
deleted
inserted
replaced
664 |
664 |
665 |
665 |
666 /// Class describing the concept of graph maps |
666 /// Class describing the concept of graph maps |
667 |
667 |
668 /// This class describes the common interface of the graph maps |
668 /// This class describes the common interface of the graph maps |
669 /// (NodeMap, EdgeMap), that is \ref maps "maps" which can be used to |
669 /// (NodeMap, EdgeMap), that is \ref maps-pages "maps" which can be used to |
670 /// associate data to graph descriptors (nodes or edges). |
670 /// associate data to graph descriptors (nodes or edges). |
671 template <typename Graph, typename Item, typename _Value> |
671 template <typename Graph, typename Item, typename _Value> |
672 class GraphMap : public ReadWriteMap<Item, _Value> { |
672 class GraphMap : public ReadWriteMap<Item, _Value> { |
673 protected: |
673 protected: |
674 GraphMap() {} |
674 GraphMap() {} |