equal
deleted
inserted
replaced
257 snapshot.save(G); |
257 snapshot.save(G); |
258 |
258 |
259 G.addEdge(G.addNode(), G.addNode()); |
259 G.addEdge(G.addNode(), G.addNode()); |
260 |
260 |
261 snapshot.restore(); |
261 snapshot.restore(); |
|
262 snapshot.save(G); |
|
263 |
|
264 checkGraphNodeList(G, 4); |
|
265 checkGraphEdgeList(G, 3); |
|
266 checkGraphArcList(G, 6); |
|
267 |
|
268 G.addEdge(G.addNode(), G.addNode()); |
|
269 |
|
270 snapshot.restore(); |
262 |
271 |
263 checkGraphNodeList(G, 4); |
272 checkGraphNodeList(G, 4); |
264 checkGraphEdgeList(G, 3); |
273 checkGraphEdgeList(G, 3); |
265 checkGraphArcList(G, 6); |
274 checkGraphArcList(G, 6); |
266 } |
275 } |