0
3
0
... | ... |
@@ -753,2 +753,5 @@ |
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() { |
... | ... |
@@ -1552,2 +1555,5 @@ |
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() { |
0 comments (0 inline)