equal
deleted
inserted
replaced
265 |
265 |
266 protected: |
266 protected: |
267 void restoreSnapShot(const SnapShot &s) |
267 void restoreSnapShot(const SnapShot &s) |
268 { |
268 { |
269 while(s.edge_num>edges.size()) { |
269 while(s.edge_num>edges.size()) { |
270 edge_observers.erase(Edge(edges.size()-1)); |
270 Parent::getNotifier(Edge()).erase(Edge(edges.size()-1)); |
271 nodes[edges.back().target].first_in=edges.back().next_in; |
271 nodes[edges.back().target].first_in=edges.back().next_in; |
272 nodes[edges.back().source].first_out=edges.back().next_out; |
272 nodes[edges.back().source].first_out=edges.back().next_out; |
273 edges.pop_back(); |
273 edges.pop_back(); |
274 } |
274 } |
275 //nodes.resize(s.nodes_num); |
275 //nodes.resize(s.nodes_num); |
276 while(s.node_num>nodes.size()) { |
276 while(s.node_num>nodes.size()) { |
277 node_observers.erase(Node(nodes.size()-1)); |
277 Parent::getNotifier(Node()).erase(Node(nodes.size()-1)); |
278 nodes.pop_back(); |
278 nodes.pop_back(); |
279 } |
279 } |
280 } |
280 } |
281 |
281 |
282 public: |
282 public: |