equal
deleted
inserted
replaced
319 |
319 |
320 mutable NodeNotifier node_notifier; |
320 mutable NodeNotifier node_notifier; |
321 |
321 |
322 public: |
322 public: |
323 |
323 |
324 EdgeNotifier& getNotifier(Edge = INVALID) const { |
324 /// \brief Gives back the edge alteration notifier. |
|
325 /// |
|
326 /// Gives back the edge alteration notifier. |
|
327 EdgeNotifier& getNotifier(Edge) const { |
325 return edge_notifier; |
328 return edge_notifier; |
326 } |
329 } |
327 |
330 |
328 NodeNotifier& getNotifier(Node = INVALID) const { |
331 /// \brief Gives back the node alteration notifier. |
|
332 /// |
|
333 /// Gives back the node alteration notifier. |
|
334 NodeNotifier& getNotifier(Node) const { |
329 return node_notifier; |
335 return node_notifier; |
330 } |
336 } |
331 |
337 |
332 ~AlterableGraphExtender() { |
338 ~AlterableGraphExtender() { |
333 node_notifier.clear(); |
339 node_notifier.clear(); |