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::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 |