equal
deleted
inserted
replaced
284 snapshot.save(G); |
284 snapshot.save(G); |
285 |
285 |
286 G.addArc(G.addNode(), G.addNode()); |
286 G.addArc(G.addNode(), G.addNode()); |
287 |
287 |
288 snapshot.restore(); |
288 snapshot.restore(); |
|
289 snapshot.save(G); |
|
290 |
|
291 checkGraphNodeList(G, 4); |
|
292 checkGraphArcList(G, 4); |
|
293 |
|
294 G.addArc(G.addNode(), G.addNode()); |
|
295 |
|
296 snapshot.restore(); |
289 |
297 |
290 checkGraphNodeList(G, 4); |
298 checkGraphNodeList(G, 4); |
291 checkGraphArcList(G, 4); |
299 checkGraphArcList(G, 4); |
292 } |
300 } |
293 |
301 |