equal
deleted
inserted
replaced
68 Parent::erase(node); |
68 Parent::erase(node); |
69 } |
69 } |
70 |
70 |
71 void erase(const UndirEdge& uedge) { |
71 void erase(const UndirEdge& uedge) { |
72 std::vector<Edge> edges; |
72 std::vector<Edge> edges; |
73 edges.push_back(Edge(uedge,true)); |
73 edges.push_back(Parent::direct(uedge,true)); |
74 edges.push_back(Edge(uedge,false)); |
74 edges.push_back(Parent::direct(uedge,false)); |
75 Parent::getNotifier(Edge()).erase(edges); |
75 Parent::getNotifier(Edge()).erase(edges); |
76 Parent::getNotifier(UndirEdge()).erase(uedge); |
76 Parent::getNotifier(UndirEdge()).erase(uedge); |
77 Parent::erase(uedge); |
77 Parent::erase(uedge); |
78 } |
78 } |
79 |
79 |