equal
deleted
inserted
replaced
66 |
66 |
67 mutable EdgeNotifier edge_notifier; |
67 mutable EdgeNotifier edge_notifier; |
68 |
68 |
69 public: |
69 public: |
70 |
70 |
|
71 using Parent::getNotifier; |
|
72 |
71 /// \brief Gives back the edge alteration notifier. |
73 /// \brief Gives back the edge alteration notifier. |
72 /// |
74 /// |
73 /// Gives back the edge alteration notifier. |
75 /// Gives back the edge alteration notifier. |
74 EdgeNotifier& getNotifier(Edge) const { |
76 EdgeNotifier& getNotifier(Edge) const { |
75 return edge_notifier; |
77 return edge_notifier; |
320 |
322 |
321 mutable EdgeNotifier edge_notifier; |
323 mutable EdgeNotifier edge_notifier; |
322 mutable UEdgeNotifier uedge_notifier; |
324 mutable UEdgeNotifier uedge_notifier; |
323 |
325 |
324 public: |
326 public: |
|
327 |
|
328 using Parent::getNotifier; |
325 |
329 |
326 EdgeNotifier& getNotifier(Edge) const { |
330 EdgeNotifier& getNotifier(Edge) const { |
327 return edge_notifier; |
331 return edge_notifier; |
328 } |
332 } |
329 |
333 |