equal
deleted
inserted
replaced
265 |
265 |
266 /// Sets the starting node of the path. |
266 /// Sets the starting node of the path. |
267 |
267 |
268 /// Sets the starting node of the path. Edge added to the path |
268 /// Sets the starting node of the path. Edge added to the path |
269 /// afterwards have to be incident to this node. |
269 /// afterwards have to be incident to this node. |
270 /// It should be called iff the path is empty and before any call to |
270 /// It should be called if and only if |
|
271 /// the path is empty and before any call to |
271 /// \ref pushFront() or \ref pushBack() |
272 /// \ref pushFront() or \ref pushBack() |
272 void setStartNode(const GraphNode &) {} |
273 void setStartNode(const GraphNode &) {} |
273 |
274 |
274 ///Push a new edge to the front of the path |
275 ///Push a new edge to the front of the path |
275 |
276 |
604 |
605 |
605 /// Sets the starting node of the path. |
606 /// Sets the starting node of the path. |
606 |
607 |
607 /// Sets the starting node of the path. Edge added to the path |
608 /// Sets the starting node of the path. Edge added to the path |
608 /// afterwards have to be incident to this node. |
609 /// afterwards have to be incident to this node. |
609 /// It should be called iff the path is empty and before any call to |
610 /// It should be called if and only if |
|
611 /// the path is empty and before any call to |
610 /// \ref pushFront() or \ref pushBack() |
612 /// \ref pushFront() or \ref pushBack() |
611 void setStartNode(const GraphNode &) {} |
613 void setStartNode(const GraphNode &) {} |
612 |
614 |
613 ///Push a new edge to the front of the path |
615 ///Push a new edge to the front of the path |
614 |
616 |