0
3
0
| ... | ... |
@@ -748,12 +748,15 @@ |
| 748 | 748 |
} |
| 749 | 749 |
|
| 750 | 750 |
/// \brief Undo the changes until the last snapshot. |
| 751 | 751 |
/// |
| 752 | 752 |
/// This function undos the changes until the last snapshot |
| 753 | 753 |
/// created by save() or Snapshot(ListDigraph&). |
| 754 |
/// |
|
| 755 |
/// \warning This method invalidates the snapshot, i.e. repeated |
|
| 756 |
/// restoring is not supported unless you call save() again. |
|
| 754 | 757 |
void restore() {
|
| 755 | 758 |
detach(); |
| 756 | 759 |
for(std::list<Arc>::iterator it = added_arcs.begin(); |
| 757 | 760 |
it != added_arcs.end(); ++it) {
|
| 758 | 761 |
digraph->erase(*it); |
| 759 | 762 |
} |
| ... | ... |
@@ -1547,12 +1550,15 @@ |
| 1547 | 1550 |
} |
| 1548 | 1551 |
|
| 1549 | 1552 |
/// \brief Undo the changes until the last snapshot. |
| 1550 | 1553 |
/// |
| 1551 | 1554 |
/// This function undos the changes until the last snapshot |
| 1552 | 1555 |
/// created by save() or Snapshot(ListGraph&). |
| 1556 |
/// |
|
| 1557 |
/// \warning This method invalidates the snapshot, i.e. repeated |
|
| 1558 |
/// restoring is not supported unless you call save() again. |
|
| 1553 | 1559 |
void restore() {
|
| 1554 | 1560 |
detach(); |
| 1555 | 1561 |
for(std::list<Edge>::iterator it = added_edges.begin(); |
| 1556 | 1562 |
it != added_edges.end(); ++it) {
|
| 1557 | 1563 |
graph->erase(*it); |
| 1558 | 1564 |
} |
| ... | ... |
@@ -283,12 +283,20 @@ |
| 283 | 283 |
G.addNode(); |
| 284 | 284 |
snapshot.save(G); |
| 285 | 285 |
|
| 286 | 286 |
G.addArc(G.addNode(), G.addNode()); |
| 287 | 287 |
|
| 288 | 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 | 298 |
checkGraphNodeList(G, 4); |
| 291 | 299 |
checkGraphArcList(G, 4); |
| 292 | 300 |
} |
| 293 | 301 |
|
| 294 | 302 |
void checkConcepts() {
|
| ... | ... |
@@ -256,12 +256,21 @@ |
| 256 | 256 |
G.addNode(); |
| 257 | 257 |
snapshot.save(G); |
| 258 | 258 |
|
| 259 | 259 |
G.addEdge(G.addNode(), G.addNode()); |
| 260 | 260 |
|
| 261 | 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 | 272 |
checkGraphNodeList(G, 4); |
| 264 | 273 |
checkGraphEdgeList(G, 3); |
| 265 | 274 |
checkGraphArcList(G, 6); |
| 266 | 275 |
} |
| 267 | 276 |
|
0 comments (0 inline)