equal
deleted
inserted
replaced
510 _stack[++_stack_head]=OutEdgeIt(*G,s); |
510 _stack[++_stack_head]=OutEdgeIt(*G,s); |
511 _dist->set(s,_stack_head); |
511 _dist->set(s,_stack_head); |
512 } |
512 } |
513 } |
513 } |
514 |
514 |
515 ///Processes the next node. |
515 ///Processes the next edge. |
516 |
516 |
517 ///Processes the next node. |
517 ///Processes the next edge. |
518 /// |
518 /// |
519 ///\return The processed edge. |
519 ///\return The processed edge. |
520 /// |
520 /// |
521 ///\pre The stack must not be empty! |
521 ///\pre The stack must not be empty! |
522 Edge processNextEdge() |
522 Edge processNextEdge() |