1.1 --- a/src/lemon/erasable_graph_extender.h Thu Dec 16 12:15:02 2004 +0000
1.2 +++ b/src/lemon/erasable_graph_extender.h Thu Dec 16 12:26:57 2004 +0000
1.3 @@ -32,12 +32,12 @@
1.4 Parent::firstIn(edge, node);
1.5 }
1.6
1.7 - Parent::getObserverRegistry(Node()).erase(node);
1.8 + Parent::getNotifier(Node()).erase(node);
1.9 Parent::erase(node);
1.10 }
1.11
1.12 void erase(const Edge& edge) {
1.13 - Parent::getObserverRegistry(Edge()).erase(edge);
1.14 + Parent::getNotifier(Edge()).erase(edge);
1.15 Parent::erase(edge);
1.16 }
1.17
1.18 @@ -62,14 +62,14 @@
1.19 Parent::firstOut(edge, node);
1.20 }
1.21
1.22 - Parent::getObserverRegistry(Node()).erase(node);
1.23 + Parent::getNotifier(Node()).erase(node);
1.24 Parent::erase(node);
1.25 }
1.26
1.27 void erase(const UndirEdge& uedge) {
1.28 - Parent::getObserverRegistry(Edge()).erase(Edge(uedge,true));
1.29 - Parent::getObserverRegistry(Edge()).erase(Edge(uedge,false));
1.30 - Parent::getObserverRegistry(UndirEdge()).erase(uedge);
1.31 + Parent::getNotifier(Edge()).erase(Edge(uedge,true));
1.32 + Parent::getNotifier(Edge()).erase(Edge(uedge,false));
1.33 + Parent::getNotifier(UndirEdge()).erase(uedge);
1.34 Parent::erase(uedge);
1.35 }
1.36