1.1 --- a/src/lemon/extendable_graph_extender.h Thu Dec 16 12:15:02 2004 +0000
1.2 +++ b/src/lemon/extendable_graph_extender.h Thu Dec 16 12:26:57 2004 +0000
1.3 @@ -17,13 +17,13 @@
1.4
1.5 Node addNode() {
1.6 Node node = Parent::addNode();
1.7 - Parent::getObserverRegistry(Node()).add(node);
1.8 + Parent::getNotifier(Node()).add(node);
1.9 return node;
1.10 }
1.11
1.12 Edge addEdge(const Node& from, const Node& to) {
1.13 Edge edge = Parent::addEdge(from, to);
1.14 - Parent::getObserverRegistry(Edge()).add(edge);
1.15 + Parent::getNotifier(Edge()).add(edge);
1.16 return edge;
1.17 }
1.18
1.19 @@ -42,18 +42,18 @@
1.20
1.21 Node addNode() {
1.22 Node node = Parent::addNode();
1.23 - Parent::getObserverRegistry(Node()).add(node);
1.24 + Parent::getNotifier(Node()).add(node);
1.25 return node;
1.26 }
1.27
1.28 UndirEdge addEdge(const Node& from, const Node& to) {
1.29 UndirEdge uedge = Parent::addEdge(from, to);
1.30 - Parent::getObserverRegistry(UndirEdge()).add(uedge);
1.31 + Parent::getNotifier(UndirEdge()).add(uedge);
1.32
1.33 Edge edge_forward(uedge, true);
1.34 Edge edge_backward(uedge, false);
1.35 - Parent::getObserverRegistry(Edge()).add(edge_forward);
1.36 - Parent::getObserverRegistry(Edge()).add(edge_backward);
1.37 + Parent::getNotifier(Edge()).add(edge_forward);
1.38 + Parent::getNotifier(Edge()).add(edge_backward);
1.39
1.40 return uedge;
1.41 }