equal
deleted
inserted
replaced
270 class Builder { |
270 class Builder { |
271 DirPath &P; |
271 DirPath &P; |
272 Container front, back; |
272 Container front, back; |
273 |
273 |
274 public: |
274 public: |
275 ///\param _P the path you want to fill in. |
275 ///\param _p the path you want to fill in. |
276 /// |
276 /// |
277 Builder(DirPath &_P) : P(_P) {} |
277 Builder(DirPath &_p) : P(_p) {} |
278 |
278 |
279 /// Sets the starting node of the path. |
279 /// Sets the starting node of the path. |
280 |
280 |
281 /// Sets the starting node of the path. Edge added to the path |
281 /// Sets the starting node of the path. Edge added to the path |
282 /// afterwards have to be incident to this node. |
282 /// afterwards have to be incident to this node. |
607 class Builder { |
607 class Builder { |
608 UndirPath &P; |
608 UndirPath &P; |
609 Container front, back; |
609 Container front, back; |
610 |
610 |
611 public: |
611 public: |
612 ///\param _P the path you want to fill in. |
612 ///\param _p the path you want to fill in. |
613 /// |
613 /// |
614 Builder(UndirPath &_P) : P(_P) {} |
614 Builder(UndirPath &_p) : P(_p) {} |
615 |
615 |
616 /// Sets the starting node of the path. |
616 /// Sets the starting node of the path. |
617 |
617 |
618 /// Sets the starting node of the path. Edge added to the path |
618 /// Sets the starting node of the path. Edge added to the path |
619 /// afterwards have to be incident to this node. |
619 /// afterwards have to be incident to this node. |