equal
deleted
inserted
replaced
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::getObserverRegistry(Node()).erase(node); |
35 Parent::getNotifier(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::getObserverRegistry(Edge()).erase(edge); |
40 Parent::getNotifier(Edge()).erase(edge); |
41 Parent::erase(edge); |
41 Parent::erase(edge); |
42 } |
42 } |
43 |
43 |
44 }; |
44 }; |
45 |
45 |
60 while (edge != INVALID ) { |
60 while (edge != INVALID ) { |
61 erase(edge); |
61 erase(edge); |
62 Parent::firstOut(edge, node); |
62 Parent::firstOut(edge, node); |
63 } |
63 } |
64 |
64 |
65 Parent::getObserverRegistry(Node()).erase(node); |
65 Parent::getNotifier(Node()).erase(node); |
66 Parent::erase(node); |
66 Parent::erase(node); |
67 } |
67 } |
68 |
68 |
69 void erase(const UndirEdge& uedge) { |
69 void erase(const UndirEdge& uedge) { |
70 Parent::getObserverRegistry(Edge()).erase(Edge(uedge,true)); |
70 Parent::getNotifier(Edge()).erase(Edge(uedge,true)); |
71 Parent::getObserverRegistry(Edge()).erase(Edge(uedge,false)); |
71 Parent::getNotifier(Edge()).erase(Edge(uedge,false)); |
72 Parent::getObserverRegistry(UndirEdge()).erase(uedge); |
72 Parent::getNotifier(UndirEdge()).erase(uedge); |
73 Parent::erase(uedge); |
73 Parent::erase(uedge); |
74 } |
74 } |
75 |
75 |
76 }; |
76 }; |
77 |
77 |