RhodeCode

    typedef True ArcNumTag;

    int nodeNum() const { return node_num; }

    int arcNum() const { return arc_num; }

  private:

    template <typename Digraph, typename NodeRefMap>

    class ArcLess {

    public:

      typedef typename Digraph::Arc Arc;

      ArcLess(const Digraph &_graph, const NodeRefMap& _nodeRef) 

        : digraph(_graph), nodeRef(_nodeRef) {}

      bool operator()(const Arc& left, const Arc& right) const {

	return nodeRef[digraph.target(left)] < nodeRef[digraph.target(right)];

      }

    private:

      const Digraph& digraph;

      const NodeRefMap& nodeRef;

    };

  public:

    typedef True BuildTag;

    void clear() {

      if (built) {

        delete[] node_first_out;

        delete[] node_first_in;

        delete[] arc_source;

        delete[] arc_target;

        delete[] arc_next_out;

        delete[] arc_next_in;

      }

      built = false;

      node_num = 0;

      arc_num = 0;

    }

    template <typename Digraph, typename NodeRefMap, typename ArcRefMap>

    void build(const Digraph& digraph, NodeRefMap& nodeRef, ArcRefMap& arcRef) {

      typedef typename Digraph::Node GNode;

      typedef typename Digraph::Arc GArc;

      built = true;

      node_num = countNodes(digraph);

      arc_num = countArcs(digraph);

      node_first_out = new int[node_num + 1];

      node_first_in = new int[node_num];

      arc_source = new int[arc_num];

      arc_target = new int[arc_num];

      arc_next_out = new int[arc_num];

      arc_next_in = new int[arc_num];

      int node_index = 0;

      for (typename Digraph::NodeIt n(digraph); n != INVALID; ++n) {

        nodeRef[n] = Node(node_index);

        node_first_in[node_index] = -1;

        ++node_index;

      }

      ArcLess<Digraph, NodeRefMap> arcLess(digraph, nodeRef);

      int arc_index = 0;

      for (typename Digraph::NodeIt n(digraph); n != INVALID; ++n) {

        int source = nodeRef[n].id;

        std::vector<GArc> arcs;

        for (typename Digraph::OutArcIt e(digraph, n); e != INVALID; ++e) {

          arcs.push_back(e);

        }

        if (!arcs.empty()) {

          node_first_out[source] = arc_index;

          std::sort(arcs.begin(), arcs.end(), arcLess);

          for (typename std::vector<GArc>::iterator it = arcs.begin();

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

            int target = nodeRef[digraph.target(*it)].id;

            arcRef[*it] = Arc(arc_index);

            arc_source[arc_index] = source; 

            arc_target[arc_index] = target;

            arc_next_in[arc_index] = node_first_in[target];

            node_first_in[target] = arc_index;

            arc_next_out[arc_index] = arc_index + 1;

            ++arc_index;

          }

          arc_next_out[arc_index - 1] = -1;

        } else {

          node_first_out[source] = arc_index;

        }

      }

      node_first_out[node_num] = arc_num;

    }

  protected:

    void fastFirstOut(Arc& e, const Node& n) const {

      e.id = node_first_out[n.id];

    }

    static void fastNextOut(Arc& e) {

      ++e.id;

    }

    void fastLastOut(Arc& e, const Node& n) const {

      e.id = node_first_out[n.id + 1];

    }

  protected:

    bool built;

    int node_num;

    int arc_num;

    int *node_first_out;

    int *node_first_in;

    int *arc_source;

    int *arc_target;

    int *arc_next_in;

    int *arc_next_out;

  };

  typedef DigraphExtender<StaticDigraphBase> ExtendedStaticDigraphBase;

  /// \ingroup graphs

  ///

  /// \brief A static directed graph class.

  ///

  /// \ref StaticDigraph is a highly efficient digraph implementation,

  /// but it is fully static.

  /// It stores only two \c int values for each node and only four \c int

  /// values for each arc. Moreover it provides faster item iteration than

  /// \ref ListDigraph and \ref SmartDigraph, especially using \c OutArcIt

  /// iterators, since its arcs are stored in an appropriate order.

  /// However it only provides build() and clear() functions and does not

  /// support any other modification of the digraph.

  ///

  /// Since this digraph structure is completely static, its nodes and arcs

  /// can be indexed with integers from the ranges <tt>[0..nodeNum()-1]</tt>

  /// and <tt>[0..arcNum()-1]</tt>, respectively. 

  /// The index of an item is the same as its ID, it can be obtained

  /// using the corresponding \ref index() or \ref concepts::Digraph::id()

  /// "id()" function. A node or arc with a certain index can be obtained

  /// using node() or arc().

  ///

  /// This type fully conforms to the \ref concepts::Digraph "Digraph concept".

  /// Most of its member functions and nested classes are documented

  /// only in the concept class.

  ///

  /// \sa concepts::Digraph

  class StaticDigraph : public ExtendedStaticDigraphBase {

  public:

    typedef ExtendedStaticDigraphBase Parent;

  public:

    /// \brief Constructor

    ///

    /// Default constructor.

    StaticDigraph() : Parent() {}

    /// \brief The node with the given index.

    ///

    /// This function returns the node with the given index.

    /// \sa index()

    Node node(int ix) const { return Parent::nodeFromId(ix); }

    /// \brief The arc with the given index.

    ///

    /// This function returns the arc with the given index.

    /// \sa index()

    Arc arc(int ix) const { return Parent::arcFromId(ix); }

    /// \brief The index of the given node.

    ///

    /// This function returns the index of the the given node.

    /// \sa node()

    int index(Node node) const { return Parent::id(node); }

    /// \brief The index of the given arc.

    ///

    /// This function returns the index of the the given arc.

    /// \sa arc()

    int index(Arc arc) const { return Parent::id(arc); }

    /// \brief Number of nodes.

    ///

    /// This function returns the number of nodes.

    int nodeNum() const { return node_num; }

    /// \brief Number of arcs.

    ///

    /// This function returns the number of arcs.

    int arcNum() const { return arc_num; }

    /// \brief Build the digraph copying another digraph.

    ///

    /// This function builds the digraph copying another digraph of any

    /// kind. It can be called more than once, but in such case, the whole

    /// structure and all maps will be cleared and rebuilt.

    ///

    /// This method also makes possible to copy a digraph to a StaticDigraph

    /// structure using \ref DigraphCopy.

    /// 

    /// \param digraph An existing digraph to be copied.

    /// \param nodeRef The node references will be copied into this map.

    /// Its key type must be \c Digraph::Node and its value type must be

    /// \c StaticDigraph::Node.

    /// It must conform to the \ref concepts::ReadWriteMap "ReadWriteMap"

    /// concept.

    /// \param arcRef The arc references will be copied into this map.

    /// Its key type must be \c Digraph::Arc and its value type must be

    /// \c StaticDigraph::Arc.

    /// It must conform to the \ref concepts::WriteMap "WriteMap" concept.

    ///

    /// \note If you do not need the arc references, then you could use

    /// \ref NullMap for the last parameter. However the node references

    /// are required by the function itself, thus they must be readable

    /// from the map.

    template <typename Digraph, typename NodeRefMap, typename ArcRefMap>

    void build(const Digraph& digraph, NodeRefMap& nodeRef, ArcRefMap& arcRef) {

      if (built) Parent::clear();

      Parent::build(digraph, nodeRef, arcRef);

    }

    /// \brief Clear the digraph.

    ///

    /// This function erases all nodes and arcs from the digraph.

    void clear() {

      Parent::clear();

    }

  protected:

    using Parent::fastFirstOut;

    using Parent::fastNextOut;

    using Parent::fastLastOut;

  public:

    class OutArcIt : public Arc {

    public:

      OutArcIt() { }

      OutArcIt(Invalid i) : Arc(i) { }

      OutArcIt(const StaticDigraph& digraph, const Node& node) {

	digraph.fastFirstOut(*this, node);

	digraph.fastLastOut(last, node);

        if (last == *this) *this = INVALID;

      }

      OutArcIt(const StaticDigraph& digraph, const Arc& arc) : Arc(arc) {

        if (arc != INVALID) {

          digraph.fastLastOut(last, digraph.source(arc));

        }

      }

      OutArcIt& operator++() { 

        StaticDigraph::fastNextOut(*this);

        if (last == *this) *this = INVALID;

        return *this; 

      }

    private:

      Arc last;

    };

    Node baseNode(const OutArcIt &arc) const {

      return Parent::source(static_cast<const Arc&>(arc));

    }

    Node runningNode(const OutArcIt &arc) const {

      return Parent::target(static_cast<const Arc&>(arc));

    }

    Node baseNode(const InArcIt &arc) const {

      return Parent::target(static_cast<const Arc&>(arc));

    }

    Node runningNode(const InArcIt &arc) const {

      return Parent::source(static_cast<const Arc&>(arc));

    }

  };

}

#endif

  check(!g.valid(g.arcFromId(-1)), "Wrong validity check");

}

template <typename Digraph>

void checkDigraphValidityErase() {

  TEMPLATE_DIGRAPH_TYPEDEFS(Digraph);

  Digraph g;

  Node

    n1 = g.addNode(),

    n2 = g.addNode(),

    n3 = g.addNode();

  Arc

    e1 = g.addArc(n1, n2),

    e2 = g.addArc(n2, n3);

  check(g.valid(n1), "Wrong validity check");

  check(g.valid(e1), "Wrong validity check");

  g.erase(n1);

  check(!g.valid(n1), "Wrong validity check");

  check(g.valid(n2), "Wrong validity check");

  check(g.valid(n3), "Wrong validity check");

  check(!g.valid(e1), "Wrong validity check");

  check(g.valid(e2), "Wrong validity check");

  check(!g.valid(g.nodeFromId(-1)), "Wrong validity check");

  check(!g.valid(g.arcFromId(-1)), "Wrong validity check");

}

void checkStaticDigraph() {

  SmartDigraph g;

  SmartDigraph::NodeMap<StaticDigraph::Node> nref(g);

  SmartDigraph::ArcMap<StaticDigraph::Arc> aref(g);

  StaticDigraph G;

  checkGraphNodeList(G, 0);

  checkGraphArcList(G, 0);

  G.build(g, nref, aref);

  checkGraphNodeList(G, 0);

  checkGraphArcList(G, 0);

  SmartDigraph::Node

    n1 = g.addNode(),

    n2 = g.addNode(),

    n3 = g.addNode();

  G.build(g, nref, aref);

  checkGraphNodeList(G, 3);

  checkGraphArcList(G, 0);

  SmartDigraph::Arc a1 = g.addArc(n1, n2);

  G.build(g, nref, aref);

  check(G.source(aref[a1]) == nref[n1] && G.target(aref[a1]) == nref[n2],

        "Wrong arc or wrong references");

  checkGraphNodeList(G, 3);

  checkGraphArcList(G, 1);

  checkGraphOutArcList(G, nref[n1], 1);

  checkGraphOutArcList(G, nref[n2], 0);

  checkGraphOutArcList(G, nref[n3], 0);

  checkGraphInArcList(G, nref[n1], 0);

  checkGraphInArcList(G, nref[n2], 1);

  checkGraphInArcList(G, nref[n3], 0);

  checkGraphConArcList(G, 1);

  SmartDigraph::Arc

    a2 = g.addArc(n2, n1),

    a3 = g.addArc(n2, n3),

    a4 = g.addArc(n2, n3);

  digraphCopy(g, G).nodeRef(nref).run();

  checkGraphNodeList(G, 3);

  checkGraphArcList(G, 4);

  checkGraphOutArcList(G, nref[n1], 1);

  checkGraphOutArcList(G, nref[n2], 3);

  checkGraphOutArcList(G, nref[n3], 0);

  checkGraphInArcList(G, nref[n1], 1);

  checkGraphInArcList(G, nref[n2], 1);

  checkGraphInArcList(G, nref[n3], 2);

  checkGraphConArcList(G, 4);

  checkNodeIds(G);

  checkArcIds(G);

  checkGraphNodeMap(G);

  checkGraphArcMap(G);

  int n = G.nodeNum();

  int m = G.arcNum();

  check(G.index(G.node(n-1)) == n-1, "Wrong index.");

  check(G.index(G.arc(m-1)) == m-1, "Wrong index.");

}

void checkFullDigraph(int num) {

  typedef FullDigraph Digraph;

  DIGRAPH_TYPEDEFS(Digraph);

  Digraph G(num);

  checkGraphNodeList(G, num);

  checkGraphArcList(G, num * num);

  for (NodeIt n(G); n != INVALID; ++n) {

    checkGraphOutArcList(G, n, num);

    checkGraphInArcList(G, n, num);

  }

  checkGraphConArcList(G, num * num);

  checkNodeIds(G);

  checkArcIds(G);

  checkGraphNodeMap(G);

  checkGraphArcMap(G);

  for (int i = 0; i < G.nodeNum(); ++i) {

    check(G.index(G(i)) == i, "Wrong index");

  }

  for (NodeIt s(G); s != INVALID; ++s) {

    for (NodeIt t(G); t != INVALID; ++t) {

      Arc a = G.arc(s, t);

      check(G.source(a) == s && G.target(a) == t, "Wrong arc lookup");

    }

  }

}

void checkDigraphs() {

  { // Checking ListDigraph

    checkDigraphBuild<ListDigraph>();

    checkDigraphSplit<ListDigraph>();

    checkDigraphAlter<ListDigraph>();

    checkDigraphErase<ListDigraph>();

    checkDigraphSnapshot<ListDigraph>();

    checkDigraphValidityErase<ListDigraph>();

  }

  { // Checking SmartDigraph

    checkDigraphBuild<SmartDigraph>();

    checkDigraphSplit<SmartDigraph>();

    checkDigraphSnapshot<SmartDigraph>();

    checkDigraphValidity<SmartDigraph>();

  }

  { // Checking StaticDigraph

    checkStaticDigraph();

  }

  { // Checking FullDigraph

    checkFullDigraph(8);

  }

}

int main() {

  checkDigraphs();

  checkConcepts();

  return 0;

}