equal
deleted
inserted
replaced
564 /// Gives back the stored edge references. |
564 /// Gives back the stored edge references. |
565 const EdgeRefMap& edgeRef() const { |
565 const EdgeRefMap& edgeRef() const { |
566 return edgeRefMap; |
566 return edgeRefMap; |
567 } |
567 } |
568 |
568 |
569 void run() {} |
569 void run() const {} |
570 |
570 |
571 private: |
571 private: |
572 |
572 |
573 const Source& source; |
573 const Source& source; |
574 Target& target; |
574 Target& target; |
775 /// Gives back the stored uedge references. |
775 /// Gives back the stored uedge references. |
776 const UEdgeRefMap& uEdgeRef() const { |
776 const UEdgeRefMap& uEdgeRef() const { |
777 return uEdgeRefMap; |
777 return uEdgeRefMap; |
778 } |
778 } |
779 |
779 |
780 void run() {} |
780 void run() const {} |
781 |
781 |
782 private: |
782 private: |
783 |
783 |
784 const Source& source; |
784 const Source& source; |
785 Target& target; |
785 Target& target; |