RhodeCode

      ///

      /// This function makes a snapshot of the given digraph.

      /// It can be called more than once. In case of a repeated

      /// call, the previous snapshot gets lost.

      void save(ListDigraph &gr) {

        if (attached()) {

          detach();

          clear();

        }

        attach(gr);

      }

      /// \brief Undo the changes until the last snapshot.

      ///

      /// This function undos the changes until the last snapshot

      /// created by save() or Snapshot(ListDigraph&).

      void restore() {

        detach();

        for(std::list<Arc>::iterator it = added_arcs.begin();

            it != added_arcs.end(); ++it) {

          digraph->erase(*it);

        }

        for(std::list<Node>::iterator it = added_nodes.begin();

            it != added_nodes.end(); ++it) {

          digraph->erase(*it);

        }

        clear();

      }

      /// \brief Returns \c true if the snapshot is valid.

      ///

      /// This function returns \c true if the snapshot is valid.

      ///

      /// This function makes a snapshot of the given graph.

      /// It can be called more than once. In case of a repeated

      /// call, the previous snapshot gets lost.

      void save(ListGraph &gr) {

        if (attached()) {

          detach();

          clear();

        }

        attach(gr);

      }

      /// \brief Undo the changes until the last snapshot.

      ///

      /// This function undos the changes until the last snapshot

      /// created by save() or Snapshot(ListGraph&).

      void restore() {

        detach();

        for(std::list<Edge>::iterator it = added_edges.begin();

            it != added_edges.end(); ++it) {

          graph->erase(*it);

        }

        for(std::list<Node>::iterator it = added_nodes.begin();

            it != added_nodes.end(); ++it) {

          graph->erase(*it);

        }

        clear();

      }

      /// \brief Returns \c true if the snapshot is valid.

      ///

      /// This function returns \c true if the snapshot is valid.

  checkGraphInArcList(G, n2, 1);

  checkGraphInArcList(G, n3, 2);

  checkGraphConArcList(G, 4);

  checkNodeIds(G);

  checkArcIds(G);

  checkGraphNodeMap(G);

  checkGraphArcMap(G);

  G.addNode();

  snapshot.save(G);

  G.addArc(G.addNode(), G.addNode());

  snapshot.restore();

  checkGraphNodeList(G, 4);

  checkGraphArcList(G, 4);

}

void checkConcepts() {

  { // Checking digraph components

    checkConcept<BaseDigraphComponent, BaseDigraphComponent >();

    checkConcept<IDableDigraphComponent<>,

      IDableDigraphComponent<> >();

    checkConcept<IterableDigraphComponent<>,

      IterableDigraphComponent<> >();

    checkConcept<MappableDigraphComponent<>,

  checkGraphConEdgeList(G, 3);

  checkGraphConArcList(G, 6);

  checkNodeIds(G);

  checkEdgeIds(G);

  checkArcIds(G);

  checkGraphNodeMap(G);

  checkGraphEdgeMap(G);

  checkGraphArcMap(G);

  G.addNode();

  snapshot.save(G);

  G.addEdge(G.addNode(), G.addNode());

  snapshot.restore();

  checkGraphNodeList(G, 4);

  checkGraphEdgeList(G, 3);

  checkGraphArcList(G, 6);

}

void checkFullGraph(int num) {

  typedef FullGraph Graph;

  GRAPH_TYPEDEFS(Graph);

  Graph G(num);

  check(G.nodeNum() == num && G.edgeNum() == num * (num - 1) / 2,

        "Wrong size");

  G.resize(num);

  check(G.nodeNum() == num && G.edgeNum() == num * (num - 1) / 2,