equal
deleted
inserted
replaced
397 ///restore() function. |
397 ///restore() function. |
398 /// |
398 /// |
399 ///\warning Edge and node deletions cannot be restored. |
399 ///\warning Edge and node deletions cannot be restored. |
400 ///\warning SnapShots cannot be nested. |
400 ///\warning SnapShots cannot be nested. |
401 ///\ingroup graphs |
401 ///\ingroup graphs |
402 class SnapShot : public AlterationObserverRegistry<Node>::ObserverBase, |
402 class SnapShot : protected AlterationObserverRegistry<Node>::ObserverBase, |
403 public AlterationObserverRegistry<Edge>::ObserverBase |
403 protected AlterationObserverRegistry<Edge>::ObserverBase |
404 { |
404 { |
405 protected: |
405 protected: |
406 |
406 |
407 ListGraph *g; |
407 ListGraph *g; |
408 std::list<Node> added_nodes; |
408 std::list<Node> added_nodes; |