src/lemon/erasable_graph_extender.h
changeset 988 aa19ca32d9b0
parent 946 c94ef40a22ce
child 1022 567f392d1d2e
equal deleted inserted replaced
0:29afd62f3936 1:48ccbb1f1e0c
    30       while (edge != INVALID ) {
    30       while (edge != INVALID ) {
    31 	erase(edge);
    31 	erase(edge);
    32 	Parent::firstIn(edge, node);
    32 	Parent::firstIn(edge, node);
    33       }
    33       }
    34 
    34 
    35       Parent::getNodeObserverRegistry().erase(node);
    35       Parent::getObserverRegistry(Node()).erase(node);
    36       Parent::erase(node);
    36       Parent::erase(node);
    37     }
    37     }
    38     
    38     
    39     void erase(const Edge& edge) {
    39     void erase(const Edge& edge) {
    40       Parent::getEdgeObserverRegistry().erase(edge);
    40       Parent::getObserverRegistry(Edge()).erase(edge);
    41       Parent::erase(edge);
    41       Parent::erase(edge);
    42     }
    42     }
    43 
    43 
    44   };
    44   };
    45 
    45