equal
deleted
inserted
replaced
638 ///Push a new edge to the back of the path |
638 ///Push a new edge to the back of the path |
639 |
639 |
640 ///Push a new edge to the back of the path. |
640 ///Push a new edge to the back of the path. |
641 ///\sa setStartNode |
641 ///\sa setStartNode |
642 void pushBack(const GraphEdge& e) { |
642 void pushBack(const GraphEdge& e) { |
643 if( !empty() && P.gr->tail(e)!=head() ) { |
|
644 fault("UndirPath::Builder::pushBack: nonincident edge"); |
|
645 } |
|
646 back.push_back(e); |
643 back.push_back(e); |
647 } |
644 } |
648 |
645 |
649 ///Commit the changes to the path. |
646 ///Commit the changes to the path. |
650 void commit() { |
647 void commit() { |