equal
deleted
inserted
replaced
319 |
319 |
320 mutable NodeObserverRegistry node_observers; |
320 mutable NodeObserverRegistry node_observers; |
321 |
321 |
322 public: |
322 public: |
323 |
323 |
324 EdgeObserverRegistry& getEdgeObserverRegistry() const { |
324 EdgeObserverRegistry& getObserverRegistry(Edge = INVALID) const { |
325 return edge_observers; |
325 return edge_observers; |
326 } |
326 } |
327 |
327 |
328 NodeObserverRegistry& getNodeObserverRegistry() const { |
328 NodeObserverRegistry& getObserverRegistry(Node = INVALID) const { |
329 return node_observers; |
329 return node_observers; |
330 } |
330 } |
331 |
331 |
332 ~AlterableGraphExtender() { |
332 ~AlterableGraphExtender() { |
333 node_observers.clear(); |
333 node_observers.clear(); |
362 |
362 |
363 protected: |
363 protected: |
364 |
364 |
365 mutable UndirEdgeObserverRegistry undir_edge_observers; |
365 mutable UndirEdgeObserverRegistry undir_edge_observers; |
366 |
366 |
367 UndirEdgeObserverRegistry& getUndirEdgeObserverRegistry() const { |
367 UndirEdgeObserverRegistry& getObserverRegistry(UndirEdge = INVALID) const { |
368 return undir_edge_observers; |
368 return undir_edge_observers; |
369 } |
369 } |
370 |
370 |
371 ~AlterableUndirGraphExtender() { |
371 ~AlterableUndirGraphExtender() { |
372 undir_edge_observers.clear(); |
372 undir_edge_observers.clear(); |