equal
deleted
inserted
replaced
137 /// |
137 /// |
138 ///\todo Do we need this? |
138 ///\todo Do we need this? |
139 /// |
139 /// |
140 ///\todo Better name... |
140 ///\todo Better name... |
141 Edge edgeWithSource(const UndirEdge &ue, const Node &s) const { |
141 Edge edgeWithSource(const UndirEdge &ue, const Node &s) const { |
142 return Edge(*this, eu, s); |
142 return Edge(*this, ue, s); |
143 } |
143 } |
144 |
144 |
145 using Parent::first; |
145 using Parent::first; |
146 void first(Edge &e) const { |
146 void first(Edge &e) const { |
147 Parent::first(e); |
147 Parent::first(e); |