equal
deleted
inserted
replaced
90 /// |
90 /// |
91 /// This operator defines an ordering of the items. |
91 /// This operator defines an ordering of the items. |
92 /// It makes possible to use graph item types as key types in |
92 /// It makes possible to use graph item types as key types in |
93 /// associative containers (e.g. \c std::map). |
93 /// associative containers (e.g. \c std::map). |
94 /// |
94 /// |
95 /// \note This operator only have to define some strict ordering of |
95 /// \note This operator only has to define some strict ordering of |
96 /// the items; this order has nothing to do with the iteration |
96 /// the items; this order has nothing to do with the iteration |
97 /// ordering of the items. |
97 /// ordering of the items. |
98 bool operator<(const GraphItem&) const { return false; } |
98 bool operator<(const GraphItem&) const { return false; } |
99 |
99 |
100 template<typename _GraphItem> |
100 template<typename _GraphItem> |