RhodeCode

    int maxId(Arc) const {

      return Parent::maxArcId();

    }

    Node fromId(int id, Node) const {

      return Parent::nodeFromId(id);

    }

    Arc fromId(int id, Arc) const {

      return Parent::arcFromId(id);

    }

      else

	return INVALID;

    }

    // Alterable extension

    typedef AlterationNotifier<DigraphExtender, Node> NodeNotifier;

    typedef AlterationNotifier<DigraphExtender, Arc> ArcNotifier;

  protected:

  public:

    NodeNotifier& notifier(Node) const {

      return node_notifier;

    }

    ArcNotifier& notifier(Arc) const {

      return arc_notifier;

    }

    class NodeIt : public Node { 

    public:

      NodeIt() {}

      NodeIt(Invalid i) : Node(i) { }

      }

      NodeIt& operator++() { 

	return *this; 

      }

    };

    class ArcIt : public Arc { 

    public:

      ArcIt() { }

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

      }

      ArcIt& operator++() { 

	return *this; 

      }

    };

    class OutArcIt : public Arc { 

    public:

      OutArcIt() { }

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

      }

      OutArcIt& operator++() { 

	return *this; 

      }

    };

    class InArcIt : public Arc { 

    public:

      InArcIt() { }

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

      }

      InArcIt& operator++() { 

	return *this; 

      }

    };

    /// \brief Base node of the iterator

    ///

    /// Returns the base node (i.e. the source in this case) of the iterator

    }

    /// \brief Running node of the iterator

    ///

    /// Returns the running node (i.e. the target in this case) of the

    /// iterator

    }

    /// \brief Base node of the iterator

    ///

    /// Returns the base node (i.e. the target in this case) of the iterator

    }

    /// \brief Running node of the iterator

    ///

    /// Returns the running node (i.e. the source in this case) of the

    /// iterator

    }

    template <typename _Value>

    class NodeMap 

      : public MapExtender<DefaultMap<Digraph, Node, _Value> > {

    public:

      typedef DigraphExtender Digraph;

      typedef MapExtender<DefaultMap<Digraph, Node, _Value> > Parent;

      explicit NodeMap(const Digraph& digraph) 

	: Parent(digraph) {}

    DigraphExtender() {

      node_notifier.setContainer(*this);

      arc_notifier.setContainer(*this);

    } 

    ~DigraphExtender() {

      arc_notifier.clear();

      node_notifier.clear();

    }

  };

  ///

  /// \brief Extender for the Graphs

  template <typename Base> 

  class GraphExtender : public Base {

  public:

    typedef Base Parent;

    typedef True UndirectedTag;

    typedef typename Parent::Node Node;

    typedef typename Parent::Arc Arc;

    typedef typename Parent::Edge Edge;

    // Graph extension    

    int maxId(Node) const {

      return Parent::maxNodeId();

    }

      return Parent::edgeFromId(id);

    }

    Node oppositeNode(const Node &n, const Edge &e) const {

      if( n == Parent::source(e))

	return Parent::target(e);

      else if( n == Parent::target(e))

	return Parent::source(e);

      else

	return INVALID;

    }

    }

    using Parent::direct;

    }

    // Alterable extension

    typedef AlterationNotifier<GraphExtender, Node> NodeNotifier;

    typedef AlterationNotifier<GraphExtender, Arc> ArcNotifier;

    typedef AlterationNotifier<GraphExtender, Edge> EdgeNotifier;

  protected:

    mutable NodeNotifier node_notifier;

    ArcNotifier& notifier(Arc) const {

      return arc_notifier;

    }

    EdgeNotifier& notifier(Edge) const {

      return edge_notifier;

    }

    class NodeIt : public Node { 

    public:

      NodeIt() {}

      NodeIt(Invalid i) : Node(i) { }

      }

      NodeIt& operator++() { 

	return *this; 

      }

    };

    class ArcIt : public Arc { 

    public:

      ArcIt() { }

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

      }

      ArcIt& operator++() { 

	return *this; 

      }

    };

    class OutArcIt : public Arc { 

    public:

      OutArcIt() { }

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

      }

      OutArcIt& operator++() { 

	return *this; 

      }

    };

    class InArcIt : public Arc { 

    public:

      InArcIt() { }

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

      }

      InArcIt& operator++() { 

	return *this; 

      }

    };

    class EdgeIt : public Parent::Edge { 

    public:

      EdgeIt() { }

      EdgeIt(Invalid i) : Edge(i) { }

      }

      EdgeIt& operator++() { 

	return *this; 

      }

    };

      friend class GraphExtender;

    public:

      }

      }

	return *this; 

      }

    };

    /// \brief Base node of the iterator

    ///

    /// Returns the base node (ie. the source in this case) of the iterator

    }

    /// \brief Running node of the iterator

    ///

    /// Returns the running node (ie. the target in this case) of the

    /// iterator

    }

    /// \brief Base node of the iterator

    ///

    /// Returns the base node (ie. the target in this case) of the iterator

    }

    /// \brief Running node of the iterator

    ///

    /// Returns the running node (ie. the source in this case) of the

    /// iterator

    }

    /// Base node of the iterator

    ///

    /// Returns the base node of the iterator

    }

    /// Running node of the iterator

    ///

    /// Returns the running node of the iterator

    }

    // Mappable extension

    template <typename _Value>

    class NodeMap 

    public:

      NodeMap& operator=(const NodeMap& cmap) {

	return operator=<NodeMap>(cmap);

      }

      template <typename CMap>

      NodeMap& operator=(const CMap& cmap) {

        Parent::operator=(cmap);

	return *this;

      }

    };

    template <typename _Value>

    class ArcMap 

    public:

      ArcMap& operator=(const ArcMap& cmap) {

	return operator=<ArcMap>(cmap);

      }

      template <typename CMap>

      ArcMap& operator=(const CMap& cmap) {

        Parent::operator=(cmap);

	return *this;

      }

    };

    template <typename _Value>

    class EdgeMap 

    public:

      EdgeMap& operator=(const EdgeMap& cmap) {

	return operator=<EdgeMap>(cmap);

      }

      template <typename CMap>

      EdgeMap& operator=(const CMap& cmap) {

        Parent::operator=(cmap);

	return *this;

      }

    };

      ev.push_back(Parent::direct(edge, false));      

      notifier(Arc()).add(ev);

      return edge;

    }

    void clear() {

      notifier(Arc()).clear();

      notifier(Edge()).clear();

      notifier(Node()).clear();

      Parent::clear();

    }

               EdgeRefMap& edgeRef) {

      notifier(Node()).build();

      notifier(Edge()).build();

      notifier(Arc()).build();

    }

    void erase(const Node& node) {

      Arc arc;

      Parent::firstOut(arc, node);

      while (arc != INVALID ) {

	erase(arc);

	Parent::firstOut(arc, node);

      } 

      Parent::firstIn(arc, node);

      while (arc != INVALID ) {

	erase(arc);

	Parent::firstIn(arc, node);

      }

      notifier(Node()).erase(node);

      Parent::erase(node);

    }

    void erase(const Edge& edge) {

      notifier(Edge()).erase(edge);

      Parent::erase(edge);

    }

    GraphExtender() {

      node_notifier.setContainer(*this); 

      arc_notifier.setContainer(*this);

      edge_notifier.setContainer(*this);

    } 

    ~GraphExtender() {

      edge_notifier.clear();

    ///

    /// In the sense of the LEMON each edge has a default

    /// direction (it should be in every computer implementation,

    /// because the order of edge's nodes defines an

    /// orientation). With the default orientation we can define that

    /// the directed arc is forward or backward directed. With the \c

    /// direction() and \c direct() function we can get the direction

    /// of the directed arc and we can direct an edge.

    ///

    /// The EdgeIt is an iterator for the edges. We can use

    /// the EdgeMap to map values for the edges. The InArcIt and

    /// OutArcIt iterates on the same edges but with opposite

    /// as the OutArcIt and InArcIt but it is not convertible to Arc just

    /// to Edge.  

    class Graph {

    public:

      /// \brief The undirected graph should be tagged by the

      /// UndirectedTag.

      ///

      /// The undirected graph should be tagged by the UndirectedTag. This

      /// tag helps the enable_if technics to make compile time 

      /// specializations for undirected graphs.  

      typedef True UndirectedTag;

      /// arcs of a node.

      ///

      /// This iterator goes trough the incident edges

      /// of a certain node of a graph. You should assume that the 

      /// loop arcs will be iterated twice.

      /// 

      /// Its usage is quite simple, for example you can compute the

      /// degree (i.e. count the number of incident arcs of a node \c n

      /// in graph \c g of type \c Graph as follows. 

      ///

      ///\code

      /// int count=0;

      ///\endcode

      public:

        /// Default constructor

        /// @warning The default constructor sets the iterator

        /// to an undefined value.

        /// Copy constructor.

        /// Copy constructor.

        ///

        /// Initialize the iterator to be invalid.

        /// Initialize the iterator to be invalid.

        ///

        /// This constructor sets the iterator to first incident arc.

        /// This constructor set the iterator to the first incident arc of

        /// the node.

        /// Sets the iterator to the value of the trivial iterator \c e.

        /// This feature necessitates that each time we 

        /// iterate the arc-set, the iteration order is the same.

        /// Next incident arc

        /// Assign the iterator to the next incident arc

	/// of the corresponding node.

      };

      /// The directed arc type.

      /// The directed arc type. It can be converted to the

      /// edge or it should be inherited from the undirected

      /// arc.

      class Arc : public Edge {

      public:

        /// Default constructor

        /// @warning The default constructor sets the iterator

      }

      /// \brief Running node of the iterator

      ///

      /// Returns the running node (the source in this case) of the

      /// iterator

      Node runningNode(InArcIt e) const {

	return source(e);

      }

      /// \brief Base node of the iterator

      ///

      /// Returns the base node of the iterator

	return INVALID;

      }

      /// \brief Running node of the iterator

      ///

      /// Returns the running node of the iterator

	return INVALID;

      }

      template <typename Graph>

      struct Constraints {

	void constraints() {

	  checkConcept<IterableGraphComponent<>, Graph>();

	  checkConcept<IDableGraphComponent<>, Graph>();

	  checkConcept<MappableGraphComponent<>, Graph>();

	}

      };

      ///

      /// @{

      /// \brief This iterator goes through each node.

      ///

      /// This iterator goes through each node.

      typedef GraphItemIt<Graph, Edge> EdgeIt;

      /// \brief This iterator goes trough the incident arcs of a

      /// node.

      ///

      /// This iterator goes trough the incident arcs of a certain

      /// node of a graph.

      /// \brief The base node of the iterator.

      ///

      /// Gives back the base node of the iterator.

      /// \brief The running node of the iterator.

      ///

      /// Gives back the running node of the iterator.

      /// @}

      template <typename _Graph> 

      struct Constraints {

	void constraints() {

	  checkConcept<IterableDigraphComponent<Base>, _Graph>();

          {

            typename _Graph::Node node(INVALID);

            typename _Graph::Edge edge(INVALID);

            bool dir;

            }

            {

              graph.firstInc(edge, dir, node);

              graph.nextInc(edge, dir);

            }

          }	

          {

            checkConcept<GraphItemIt<_Graph, typename _Graph::Edge>,

              typename _Graph::EdgeIt >();

            checkConcept<GraphIncIt<_Graph, typename _Graph::Edge, 

            typename _Graph::Node n;

            n = graph.baseNode(ueit);

            n = graph.runningNode(ueit);

          }

        }

	const _Graph& graph;

      };

    };

    /// \brief An empty alteration notifier digraph class.

    ///