src/lemon/alteration_observer_registry.h
changeset 988 aa19ca32d9b0
parent 978 175cf8c3a994
child 1022 567f392d1d2e
equal deleted inserted replaced
2:bd6f495227a1 3:5371a28a1203
   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();