equal
deleted
inserted
replaced
362 |
362 |
363 protected: |
363 protected: |
364 |
364 |
365 mutable UndirEdgeObserverRegistry undir_edge_observers; |
365 mutable UndirEdgeObserverRegistry undir_edge_observers; |
366 |
366 |
367 UndirEdgeObserverRegistry& getObserverRegistry(UndirEdge = INVALID) const { |
367 public: |
|
368 |
|
369 using Parent::getObserverRegistry; |
|
370 UndirEdgeObserverRegistry& getObserverRegistry(UndirEdge) const { |
368 return undir_edge_observers; |
371 return undir_edge_observers; |
369 } |
372 } |
370 |
373 |
371 ~AlterableUndirGraphExtender() { |
374 ~AlterableUndirGraphExtender() { |
372 undir_edge_observers.clear(); |
375 undir_edge_observers.clear(); |