| 
alpar@906
 | 
     1  | 
/* -*- C++ -*-
  | 
| 
alpar@921
 | 
     2  | 
 * src/lemon/path.h - Part of LEMON, a generic C++ optimization library
  | 
| 
alpar@906
 | 
     3  | 
 *
  | 
| 
alpar@906
 | 
     4  | 
 * Copyright (C) 2004 Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
  | 
| 
alpar@906
 | 
     5  | 
 * (Egervary Combinatorial Optimization Research Group, EGRES).
  | 
| 
alpar@906
 | 
     6  | 
 *
  | 
| 
alpar@906
 | 
     7  | 
 * Permission to use, modify and distribute this software is granted
  | 
| 
alpar@906
 | 
     8  | 
 * provided that this copyright notice appears in all copies. For
  | 
| 
alpar@906
 | 
     9  | 
 * precise terms see the accompanying LICENSE file.
  | 
| 
alpar@906
 | 
    10  | 
 *
  | 
| 
alpar@906
 | 
    11  | 
 * This software is provided "AS IS" with no warranty of any kind,
  | 
| 
alpar@906
 | 
    12  | 
 * express or implied, and with no claim as to its suitability for any
  | 
| 
alpar@906
 | 
    13  | 
 * purpose.
  | 
| 
alpar@906
 | 
    14  | 
 *
  | 
| 
alpar@906
 | 
    15  | 
 */
  | 
| 
hegyi@819
 | 
    16  | 
  | 
| 
hegyi@819
 | 
    17  | 
/**
  | 
| 
hegyi@819
 | 
    18  | 
@defgroup paths Path Structures
  | 
| 
hegyi@819
 | 
    19  | 
@ingroup datas
  | 
| 
alpar@921
 | 
    20  | 
\brief Path structures implemented in LEMON.
  | 
| 
hegyi@819
 | 
    21  | 
  | 
| 
alpar@921
 | 
    22  | 
LEMON provides flexible data structures
  | 
| 
hegyi@819
 | 
    23  | 
to work with paths.
  | 
| 
hegyi@819
 | 
    24  | 
  | 
| 
hegyi@819
 | 
    25  | 
All of them have the same interface, especially they can be built or extended
  | 
| 
hegyi@819
 | 
    26  | 
using a standard Builder subclass. This make is easy to have e.g. the Dijkstra
  | 
| 
hegyi@819
 | 
    27  | 
algorithm to store its result in any kind of path structure.
  | 
| 
hegyi@819
 | 
    28  | 
  | 
| 
klao@959
 | 
    29  | 
\sa lemon::concept::Path
  | 
| 
hegyi@819
 | 
    30  | 
  | 
| 
hegyi@819
 | 
    31  | 
*/
  | 
| 
hegyi@819
 | 
    32  | 
  | 
| 
hegyi@819
 | 
    33  | 
///\ingroup paths
  | 
| 
hegyi@819
 | 
    34  | 
///\file
  | 
| 
hegyi@819
 | 
    35  | 
///\brief Classes for representing paths in graphs.
  | 
| 
hegyi@819
 | 
    36  | 
  | 
| 
alpar@921
 | 
    37  | 
#ifndef LEMON_PATH_H
  | 
| 
alpar@921
 | 
    38  | 
#define LEMON_PATH_H
  | 
| 
hegyi@819
 | 
    39  | 
  | 
| 
hegyi@819
 | 
    40  | 
#include <deque>
  | 
| 
hegyi@819
 | 
    41  | 
#include <vector>
  | 
| 
hegyi@819
 | 
    42  | 
#include <algorithm>
  | 
| 
hegyi@819
 | 
    43  | 
  | 
| 
alpar@921
 | 
    44  | 
#include <lemon/invalid.h>
  | 
| 
hegyi@819
 | 
    45  | 
  | 
| 
alpar@921
 | 
    46  | 
namespace lemon {
 | 
| 
hegyi@819
 | 
    47  | 
  | 
| 
hegyi@819
 | 
    48  | 
  /// \addtogroup paths
  | 
| 
hegyi@819
 | 
    49  | 
  /// @{
 | 
| 
hegyi@819
 | 
    50  | 
  | 
| 
hegyi@819
 | 
    51  | 
  | 
| 
hegyi@819
 | 
    52  | 
  //! \brief A structure for representing directed paths in a graph.
  | 
| 
hegyi@819
 | 
    53  | 
  //!
  | 
| 
hegyi@819
 | 
    54  | 
  //! A structure for representing directed path in a graph.
  | 
| 
hegyi@819
 | 
    55  | 
  //! \param Graph The graph type in which the path is.
  | 
| 
hegyi@819
 | 
    56  | 
  //! \param DM DebugMode, defaults to DefaultDebugMode.
  | 
| 
hegyi@837
 | 
    57  | 
  //!
  | 
| 
hegyi@819
 | 
    58  | 
  //! In a sense, the path can be treated as a graph, for is has \c NodeIt
  | 
| 
hegyi@819
 | 
    59  | 
  //! and \c EdgeIt with the same usage. These types converts to the \c Node
  | 
| 
hegyi@819
 | 
    60  | 
  //! and \c Edge of the original graph.
  | 
| 
hegyi@819
 | 
    61  | 
  //!
  | 
| 
hegyi@819
 | 
    62  | 
  //! \todo Thoroughfully check all the range and consistency tests.
  | 
| 
hegyi@831
 | 
    63  | 
  template<typename Graph>
  | 
| 
hegyi@819
 | 
    64  | 
  class DirPath {
 | 
| 
hegyi@819
 | 
    65  | 
  public:
  | 
| 
hegyi@819
 | 
    66  | 
    /// Edge type of the underlying graph.
  | 
| 
hegyi@837
 | 
    67  | 
    typedef typename Graph::Edge GraphEdge;
  | 
| 
hegyi@819
 | 
    68  | 
    /// Node type of the underlying graph.
  | 
| 
hegyi@819
 | 
    69  | 
    typedef typename Graph::Node GraphNode;
  | 
| 
hegyi@819
 | 
    70  | 
    class NodeIt;
  | 
| 
hegyi@819
 | 
    71  | 
    class EdgeIt;
  | 
| 
hegyi@819
 | 
    72  | 
  | 
| 
hegyi@819
 | 
    73  | 
  protected:
  | 
| 
hegyi@819
 | 
    74  | 
    const Graph *gr;
  | 
| 
hegyi@819
 | 
    75  | 
    typedef std::vector<GraphEdge> Container;
  | 
| 
hegyi@819
 | 
    76  | 
    Container edges;
  | 
| 
hegyi@819
 | 
    77  | 
  | 
| 
hegyi@819
 | 
    78  | 
  public:
  | 
| 
hegyi@819
 | 
    79  | 
  | 
| 
hegyi@819
 | 
    80  | 
    /// \param _G The graph in which the path is.
  | 
| 
hegyi@819
 | 
    81  | 
    ///
  | 
| 
hegyi@819
 | 
    82  | 
    DirPath(const Graph &_G) : gr(&_G) {}
 | 
| 
hegyi@819
 | 
    83  | 
  | 
| 
hegyi@819
 | 
    84  | 
    /// \brief Subpath constructor.
  | 
| 
hegyi@819
 | 
    85  | 
    ///
  | 
| 
hegyi@819
 | 
    86  | 
    /// Subpath defined by two nodes.
  | 
| 
hegyi@819
 | 
    87  | 
    /// \warning It is an error if the two edges are not in order!
  | 
| 
hegyi@819
 | 
    88  | 
    DirPath(const DirPath &P, const NodeIt &a, const NodeIt &b) {
 | 
| 
hegyi@819
 | 
    89  | 
      gr = P.gr;
  | 
| 
hegyi@819
 | 
    90  | 
      edges.insert(edges.end(), P.edges.begin()+a.idx, P.edges.begin()+b.idx);
  | 
| 
hegyi@819
 | 
    91  | 
    }
  | 
| 
hegyi@819
 | 
    92  | 
  | 
| 
hegyi@819
 | 
    93  | 
    /// \brief Subpath constructor.
  | 
| 
hegyi@819
 | 
    94  | 
    ///
  | 
| 
hegyi@819
 | 
    95  | 
    /// Subpath defined by two edges. Contains edges in [a,b)
  | 
| 
hegyi@819
 | 
    96  | 
    /// \warning It is an error if the two edges are not in order!
  | 
| 
hegyi@819
 | 
    97  | 
    DirPath(const DirPath &P, const EdgeIt &a, const EdgeIt &b) {
 | 
| 
hegyi@819
 | 
    98  | 
      gr = P.gr;
  | 
| 
hegyi@819
 | 
    99  | 
      edges.insert(edges.end(), P.edges.begin()+a.idx, P.edges.begin()+b.idx);
  | 
| 
hegyi@819
 | 
   100  | 
    }
  | 
| 
hegyi@819
 | 
   101  | 
  | 
| 
hegyi@819
 | 
   102  | 
    /// Length of the path.
  | 
| 
hegyi@819
 | 
   103  | 
    size_t length() const { return edges.size(); }
 | 
| 
hegyi@819
 | 
   104  | 
    /// Returns whether the path is empty.
  | 
| 
hegyi@819
 | 
   105  | 
    bool empty() const { return edges.empty(); }
 | 
| 
hegyi@819
 | 
   106  | 
  | 
| 
hegyi@819
 | 
   107  | 
    /// Resets the path to an empty path.
  | 
| 
hegyi@819
 | 
   108  | 
    void clear() { edges.clear(); }
 | 
| 
hegyi@819
 | 
   109  | 
  | 
| 
hegyi@819
 | 
   110  | 
    /// \brief Starting point of the path.
  | 
| 
hegyi@819
 | 
   111  | 
    ///
  | 
| 
hegyi@819
 | 
   112  | 
    /// Starting point of the path.
  | 
| 
hegyi@819
 | 
   113  | 
    /// Returns INVALID if the path is empty.
  | 
| 
alpar@986
 | 
   114  | 
    GraphNode source() const {
 | 
| 
alpar@986
 | 
   115  | 
      return empty() ? INVALID : gr->source(edges[0]);
  | 
| 
hegyi@819
 | 
   116  | 
    }
  | 
| 
hegyi@819
 | 
   117  | 
    /// \brief End point of the path.
  | 
| 
hegyi@819
 | 
   118  | 
    ///
  | 
| 
hegyi@819
 | 
   119  | 
    /// End point of the path.
  | 
| 
hegyi@819
 | 
   120  | 
    /// Returns INVALID if the path is empty.
  | 
| 
alpar@986
 | 
   121  | 
    GraphNode target() const {
 | 
| 
alpar@986
 | 
   122  | 
      return empty() ? INVALID : gr->target(edges[length()-1]);
  | 
| 
hegyi@819
 | 
   123  | 
    }
  | 
| 
hegyi@819
 | 
   124  | 
  | 
| 
hegyi@819
 | 
   125  | 
    /// \brief Initializes node or edge iterator to point to the first
  | 
| 
hegyi@819
 | 
   126  | 
    /// node or edge.
  | 
| 
hegyi@819
 | 
   127  | 
    ///
  | 
| 
hegyi@819
 | 
   128  | 
    /// \sa nth
  | 
| 
hegyi@819
 | 
   129  | 
    template<typename It>
  | 
| 
hegyi@819
 | 
   130  | 
    It& first(It &i) const { return i=It(*this); }
 | 
| 
hegyi@819
 | 
   131  | 
  | 
| 
hegyi@819
 | 
   132  | 
    /// \brief Initializes node iterator to point to the node of a given index.
  | 
| 
hegyi@819
 | 
   133  | 
    NodeIt& nth(NodeIt &i, int n) const {
 | 
| 
hegyi@819
 | 
   134  | 
      return i=NodeIt(*this, n);
  | 
| 
hegyi@819
 | 
   135  | 
    }
  | 
| 
hegyi@819
 | 
   136  | 
  | 
| 
hegyi@819
 | 
   137  | 
    /// \brief Initializes edge iterator to point to the edge of a given index.
  | 
| 
hegyi@819
 | 
   138  | 
    EdgeIt& nth(EdgeIt &i, int n) const {
 | 
| 
hegyi@819
 | 
   139  | 
      return i=EdgeIt(*this, n);
  | 
| 
hegyi@819
 | 
   140  | 
    }
  | 
| 
hegyi@819
 | 
   141  | 
  | 
| 
alpar@986
 | 
   142  | 
    /// \brief Returns node iterator pointing to the target node of the
  | 
| 
hegyi@819
 | 
   143  | 
    /// given edge iterator.
  | 
| 
alpar@986
 | 
   144  | 
    NodeIt target(const EdgeIt& e) const {
 | 
| 
hegyi@819
 | 
   145  | 
      return NodeIt(*this, e.idx+1);
  | 
| 
hegyi@819
 | 
   146  | 
    }
  | 
| 
hegyi@819
 | 
   147  | 
  | 
| 
alpar@986
 | 
   148  | 
    /// \brief Returns node iterator pointing to the source node of the
  | 
| 
hegyi@819
 | 
   149  | 
    /// given edge iterator.
  | 
| 
alpar@986
 | 
   150  | 
    NodeIt source(const EdgeIt& e) const {
 | 
| 
hegyi@819
 | 
   151  | 
      return NodeIt(*this, e.idx);
  | 
| 
hegyi@819
 | 
   152  | 
    }
  | 
| 
hegyi@819
 | 
   153  | 
  | 
| 
hegyi@819
 | 
   154  | 
  | 
| 
hegyi@819
 | 
   155  | 
    /* Iterator classes */
  | 
| 
hegyi@819
 | 
   156  | 
  | 
| 
hegyi@819
 | 
   157  | 
    /**
  | 
| 
hegyi@819
 | 
   158  | 
     * \brief Iterator class to iterate on the edges of the paths
  | 
| 
hegyi@837
 | 
   159  | 
     *
  | 
| 
hegyi@819
 | 
   160  | 
     * \ingroup paths
  | 
| 
hegyi@819
 | 
   161  | 
     * This class is used to iterate on the edges of the paths
  | 
| 
hegyi@819
 | 
   162  | 
     *
  | 
| 
hegyi@819
 | 
   163  | 
     * Of course it converts to Graph::Edge
  | 
| 
hegyi@837
 | 
   164  | 
     *
  | 
| 
hegyi@819
 | 
   165  | 
     */
  | 
| 
hegyi@819
 | 
   166  | 
    class EdgeIt {
 | 
| 
hegyi@819
 | 
   167  | 
      friend class DirPath;
  | 
| 
hegyi@819
 | 
   168  | 
  | 
| 
hegyi@819
 | 
   169  | 
      int idx;
  | 
| 
hegyi@819
 | 
   170  | 
      const DirPath *p;
  | 
| 
hegyi@819
 | 
   171  | 
    public:
  | 
| 
hegyi@819
 | 
   172  | 
      /// Default constructor
  | 
| 
hegyi@819
 | 
   173  | 
      EdgeIt() {}
 | 
| 
hegyi@819
 | 
   174  | 
      /// Invalid constructor
  | 
| 
hegyi@819
 | 
   175  | 
      EdgeIt(Invalid) : idx(-1), p(0) {}
 | 
| 
hegyi@819
 | 
   176  | 
      /// Constructor with starting point
  | 
| 
hegyi@819
 | 
   177  | 
      EdgeIt(const DirPath &_p, int _idx = 0) :
  | 
| 
hegyi@819
 | 
   178  | 
	idx(_idx), p(&_p) { validate(); }
 | 
| 
hegyi@819
 | 
   179  | 
  | 
| 
hegyi@819
 | 
   180  | 
      ///Validity check
  | 
| 
hegyi@819
 | 
   181  | 
      bool valid() const { return idx!=-1; }
 | 
| 
hegyi@819
 | 
   182  | 
  | 
| 
hegyi@819
 | 
   183  | 
      ///Conversion to Graph::Edge
  | 
| 
hegyi@819
 | 
   184  | 
      operator GraphEdge () const {
 | 
| 
hegyi@819
 | 
   185  | 
	return valid() ? p->edges[idx] : INVALID;
  | 
| 
hegyi@819
 | 
   186  | 
      }
  | 
| 
hegyi@819
 | 
   187  | 
  | 
| 
hegyi@819
 | 
   188  | 
      /// Next edge
  | 
| 
hegyi@819
 | 
   189  | 
      EdgeIt& operator++() { ++idx; validate(); return *this; }
 | 
| 
hegyi@819
 | 
   190  | 
  | 
| 
hegyi@819
 | 
   191  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   192  | 
      bool operator==(const EdgeIt& e) const { return idx==e.idx; }
 | 
| 
hegyi@819
 | 
   193  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   194  | 
      bool operator!=(const EdgeIt& e) const { return idx!=e.idx; }
 | 
| 
hegyi@819
 | 
   195  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   196  | 
      bool operator<(const EdgeIt& e) const { return idx<e.idx; }
 | 
| 
hegyi@819
 | 
   197  | 
  | 
| 
hegyi@819
 | 
   198  | 
    private:
  | 
| 
hegyi@819
 | 
   199  | 
      // FIXME: comparison between signed and unsigned...
  | 
| 
hegyi@819
 | 
   200  | 
      // Jo ez igy? Vagy esetleg legyen a length() int?
  | 
| 
hegyi@819
 | 
   201  | 
      void validate() { if( size_t(idx) >= p->length() ) idx=-1; }
 | 
| 
hegyi@819
 | 
   202  | 
    };
  | 
| 
hegyi@819
 | 
   203  | 
  | 
| 
hegyi@819
 | 
   204  | 
    /**
  | 
| 
hegyi@819
 | 
   205  | 
     * \brief Iterator class to iterate on the nodes of the paths
  | 
| 
hegyi@837
 | 
   206  | 
     *
  | 
| 
hegyi@819
 | 
   207  | 
     * \ingroup paths
  | 
| 
hegyi@819
 | 
   208  | 
     * This class is used to iterate on the nodes of the paths
  | 
| 
hegyi@819
 | 
   209  | 
     *
  | 
| 
hegyi@819
 | 
   210  | 
     * Of course it converts to Graph::Node
  | 
| 
hegyi@837
 | 
   211  | 
     *
  | 
| 
hegyi@819
 | 
   212  | 
     */
  | 
| 
hegyi@819
 | 
   213  | 
    class NodeIt {
 | 
| 
hegyi@819
 | 
   214  | 
      friend class DirPath;
  | 
| 
hegyi@819
 | 
   215  | 
  | 
| 
hegyi@819
 | 
   216  | 
      int idx;
  | 
| 
hegyi@819
 | 
   217  | 
      const DirPath *p;
  | 
| 
hegyi@819
 | 
   218  | 
    public:
  | 
| 
hegyi@819
 | 
   219  | 
      /// Default constructor
  | 
| 
hegyi@819
 | 
   220  | 
      NodeIt() {}
 | 
| 
hegyi@819
 | 
   221  | 
      /// Invalid constructor
  | 
| 
hegyi@819
 | 
   222  | 
      NodeIt(Invalid) : idx(-1), p(0) {}
 | 
| 
hegyi@819
 | 
   223  | 
      /// Constructor with starting point
  | 
| 
hegyi@819
 | 
   224  | 
      NodeIt(const DirPath &_p, int _idx = 0) :
  | 
| 
hegyi@819
 | 
   225  | 
	idx(_idx), p(&_p) { validate(); }
 | 
| 
hegyi@819
 | 
   226  | 
  | 
| 
hegyi@819
 | 
   227  | 
      ///Validity check
  | 
| 
hegyi@819
 | 
   228  | 
      bool valid() const { return idx!=-1; }
 | 
| 
hegyi@819
 | 
   229  | 
  | 
| 
hegyi@819
 | 
   230  | 
      ///Conversion to Graph::Node
  | 
| 
hegyi@819
 | 
   231  | 
      operator const GraphNode& () const {
 | 
| 
hegyi@819
 | 
   232  | 
	if(idx >= p->length())
  | 
| 
alpar@986
 | 
   233  | 
	  return p->target();
  | 
| 
hegyi@819
 | 
   234  | 
	else if(idx >= 0)
  | 
| 
alpar@986
 | 
   235  | 
	  return p->gr->source(p->edges[idx]);
  | 
| 
hegyi@819
 | 
   236  | 
	else
  | 
| 
hegyi@819
 | 
   237  | 
	  return INVALID;
  | 
| 
hegyi@819
 | 
   238  | 
      }
  | 
| 
hegyi@819
 | 
   239  | 
      /// Next node
  | 
| 
hegyi@819
 | 
   240  | 
      NodeIt& operator++() { ++idx; validate(); return *this; }
 | 
| 
hegyi@819
 | 
   241  | 
  | 
| 
hegyi@819
 | 
   242  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   243  | 
      bool operator==(const NodeIt& e) const { return idx==e.idx; }
 | 
| 
hegyi@819
 | 
   244  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   245  | 
      bool operator!=(const NodeIt& e) const { return idx!=e.idx; }
 | 
| 
hegyi@819
 | 
   246  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   247  | 
      bool operator<(const NodeIt& e) const { return idx<e.idx; }
 | 
| 
hegyi@819
 | 
   248  | 
  | 
| 
hegyi@819
 | 
   249  | 
    private:
  | 
| 
hegyi@819
 | 
   250  | 
      void validate() { if( size_t(idx) > p->length() ) idx=-1; }
 | 
| 
hegyi@819
 | 
   251  | 
    };
  | 
| 
hegyi@819
 | 
   252  | 
  | 
| 
hegyi@837
 | 
   253  | 
    friend class Builder;
  | 
| 
hegyi@819
 | 
   254  | 
  | 
| 
hegyi@819
 | 
   255  | 
    /**
  | 
| 
hegyi@819
 | 
   256  | 
     * \brief Class to build paths
  | 
| 
hegyi@837
 | 
   257  | 
     *
  | 
| 
hegyi@819
 | 
   258  | 
     * \ingroup paths
  | 
| 
hegyi@819
 | 
   259  | 
     * This class is used to fill a path with edges.
  | 
| 
hegyi@819
 | 
   260  | 
     *
  | 
| 
hegyi@819
 | 
   261  | 
     * You can push new edges to the front and to the back of the path in
  | 
| 
hegyi@819
 | 
   262  | 
     * arbitrary order then you should commit these changes to the graph.
  | 
| 
hegyi@819
 | 
   263  | 
     *
  | 
| 
hegyi@819
 | 
   264  | 
     * Fundamentally, for most "Paths" (classes fulfilling the
  | 
| 
hegyi@819
 | 
   265  | 
     * PathConcept) while the builder is active (after the first modifying
  | 
| 
hegyi@819
 | 
   266  | 
     * operation and until the commit()) the original Path is in a
  | 
| 
hegyi@819
 | 
   267  | 
     * "transitional" state (operations on it have undefined result). But
  | 
| 
hegyi@819
 | 
   268  | 
     * in the case of DirPath the original path remains unchanged until the
  | 
| 
hegyi@819
 | 
   269  | 
     * commit. However we don't recomend that you use this feature.
  | 
| 
hegyi@819
 | 
   270  | 
     */
  | 
| 
hegyi@819
 | 
   271  | 
    class Builder {
 | 
| 
hegyi@819
 | 
   272  | 
      DirPath &P;
  | 
| 
hegyi@819
 | 
   273  | 
      Container front, back;
  | 
| 
hegyi@819
 | 
   274  | 
  | 
| 
hegyi@819
 | 
   275  | 
    public:
  | 
| 
hegyi@819
 | 
   276  | 
      ///\param _P the path you want to fill in.
  | 
| 
hegyi@819
 | 
   277  | 
      ///
  | 
| 
hegyi@819
 | 
   278  | 
      Builder(DirPath &_P) : P(_P) {}
 | 
| 
hegyi@819
 | 
   279  | 
  | 
| 
hegyi@819
 | 
   280  | 
      /// Sets the starting node of the path.
  | 
| 
hegyi@837
 | 
   281  | 
  | 
| 
hegyi@819
 | 
   282  | 
      /// Sets the starting node of the path. Edge added to the path
  | 
| 
hegyi@819
 | 
   283  | 
      /// afterwards have to be incident to this node.
  | 
| 
alpar@900
 | 
   284  | 
      /// It should be called if and only if
  | 
| 
alpar@900
 | 
   285  | 
      /// the path is empty and before any call to
  | 
| 
hegyi@819
 | 
   286  | 
      /// \ref pushFront() or \ref pushBack()
  | 
| 
hegyi@819
 | 
   287  | 
      void setStartNode(const GraphNode &) {}
 | 
| 
hegyi@819
 | 
   288  | 
  | 
| 
hegyi@819
 | 
   289  | 
      ///Push a new edge to the front of the path
  | 
| 
hegyi@819
 | 
   290  | 
  | 
| 
hegyi@819
 | 
   291  | 
      ///Push a new edge to the front of the path.
  | 
| 
hegyi@819
 | 
   292  | 
      ///\sa setStartNode
  | 
| 
hegyi@819
 | 
   293  | 
      void pushFront(const GraphEdge& e) {
 | 
| 
hegyi@819
 | 
   294  | 
	front.push_back(e);
  | 
| 
hegyi@819
 | 
   295  | 
      }
  | 
| 
hegyi@819
 | 
   296  | 
  | 
| 
hegyi@819
 | 
   297  | 
      ///Push a new edge to the back of the path
  | 
| 
hegyi@819
 | 
   298  | 
  | 
| 
hegyi@819
 | 
   299  | 
      ///Push a new edge to the back of the path.
  | 
| 
hegyi@819
 | 
   300  | 
      ///\sa setStartNode
  | 
| 
hegyi@819
 | 
   301  | 
      void pushBack(const GraphEdge& e) {
 | 
| 
hegyi@819
 | 
   302  | 
	back.push_back(e);
  | 
| 
hegyi@819
 | 
   303  | 
      }
  | 
| 
hegyi@819
 | 
   304  | 
  | 
| 
hegyi@819
 | 
   305  | 
      ///Commit the changes to the path.
  | 
| 
hegyi@819
 | 
   306  | 
      void commit() {
 | 
| 
hegyi@837
 | 
   307  | 
	if( !front.empty() || !back.empty() ) {
 | 
| 
hegyi@819
 | 
   308  | 
	  Container tmp;
  | 
| 
hegyi@819
 | 
   309  | 
	  tmp.reserve(front.size()+back.size()+P.length());
  | 
| 
hegyi@819
 | 
   310  | 
	  tmp.insert(tmp.end(), front.rbegin(), front.rend());
  | 
| 
hegyi@819
 | 
   311  | 
	  tmp.insert(tmp.end(), P.edges.begin(), P.edges.end());
  | 
| 
hegyi@819
 | 
   312  | 
	  tmp.insert(tmp.end(), back.begin(), back.end());
  | 
| 
hegyi@819
 | 
   313  | 
	  P.edges.swap(tmp);
  | 
| 
hegyi@819
 | 
   314  | 
	  front.clear();
  | 
| 
hegyi@819
 | 
   315  | 
	  back.clear();
  | 
| 
hegyi@819
 | 
   316  | 
	}
  | 
| 
hegyi@819
 | 
   317  | 
      }
  | 
| 
hegyi@819
 | 
   318  | 
  | 
| 
hegyi@819
 | 
   319  | 
      ///Reserve storage for the builder in advance.
  | 
| 
hegyi@819
 | 
   320  | 
  | 
| 
hegyi@837
 | 
   321  | 
      ///If you know a reasonable upper bound of the number of the edges
  | 
| 
hegyi@837
 | 
   322  | 
      ///to add to the front, using this function you can speed up the building.
  | 
| 
hegyi@819
 | 
   323  | 
  | 
| 
hegyi@837
 | 
   324  | 
      void reserveFront(size_t r) {front.reserve(r);}
 | 
| 
hegyi@837
 | 
   325  | 
  | 
| 
hegyi@837
 | 
   326  | 
      ///Reserve storage for the builder in advance.
  | 
| 
hegyi@837
 | 
   327  | 
  | 
| 
hegyi@837
 | 
   328  | 
      ///If you know a reasonable upper bound of the number of the edges
  | 
| 
hegyi@837
 | 
   329  | 
      ///to add to the back, using this function you can speed up the building.
  | 
| 
hegyi@837
 | 
   330  | 
  | 
| 
hegyi@837
 | 
   331  | 
      void reserveBack(size_t r) {back.reserve(r);}
 | 
| 
hegyi@831
 | 
   332  | 
  | 
| 
hegyi@819
 | 
   333  | 
    private:
  | 
| 
hegyi@819
 | 
   334  | 
      bool empty() {
 | 
| 
hegyi@819
 | 
   335  | 
	return front.empty() && back.empty() && P.empty();
  | 
| 
hegyi@819
 | 
   336  | 
      }
  | 
| 
hegyi@819
 | 
   337  | 
  | 
| 
alpar@986
 | 
   338  | 
      GraphNode source() const {
 | 
| 
hegyi@819
 | 
   339  | 
	if( ! front.empty() )
  | 
| 
alpar@986
 | 
   340  | 
	  return P.gr->source(front[front.size()-1]);
  | 
| 
hegyi@819
 | 
   341  | 
	else if( ! P.empty() )
  | 
| 
alpar@986
 | 
   342  | 
	  return P.gr->source(P.edges[0]);
  | 
| 
hegyi@819
 | 
   343  | 
	else if( ! back.empty() )
  | 
| 
alpar@986
 | 
   344  | 
	  return P.gr->source(back[0]);
  | 
| 
hegyi@819
 | 
   345  | 
	else
  | 
| 
hegyi@819
 | 
   346  | 
	  return INVALID;
  | 
| 
hegyi@819
 | 
   347  | 
      }
  | 
| 
alpar@986
 | 
   348  | 
      GraphNode target() const {
 | 
| 
hegyi@819
 | 
   349  | 
	if( ! back.empty() )
  | 
| 
alpar@986
 | 
   350  | 
	  return P.gr->target(back[back.size()-1]);
  | 
| 
hegyi@819
 | 
   351  | 
	else if( ! P.empty() )
  | 
| 
alpar@986
 | 
   352  | 
	  return P.gr->target(P.edges[P.length()-1]);
  | 
| 
hegyi@819
 | 
   353  | 
	else if( ! front.empty() )
  | 
| 
alpar@986
 | 
   354  | 
	  return P.gr->target(front[0]);
  | 
| 
hegyi@819
 | 
   355  | 
	else
  | 
| 
hegyi@819
 | 
   356  | 
	  return INVALID;
  | 
| 
hegyi@819
 | 
   357  | 
      }
  | 
| 
hegyi@819
 | 
   358  | 
  | 
| 
hegyi@819
 | 
   359  | 
    };
  | 
| 
hegyi@819
 | 
   360  | 
  | 
| 
hegyi@819
 | 
   361  | 
  };
  | 
| 
hegyi@819
 | 
   362  | 
  | 
| 
hegyi@819
 | 
   363  | 
  | 
| 
hegyi@819
 | 
   364  | 
  | 
| 
hegyi@819
 | 
   365  | 
  | 
| 
hegyi@819
 | 
   366  | 
  | 
| 
hegyi@819
 | 
   367  | 
  | 
| 
hegyi@819
 | 
   368  | 
  | 
| 
hegyi@819
 | 
   369  | 
  | 
| 
hegyi@819
 | 
   370  | 
  | 
| 
hegyi@819
 | 
   371  | 
  | 
| 
hegyi@819
 | 
   372  | 
  /**********************************************************************/
  | 
| 
hegyi@819
 | 
   373  | 
  | 
| 
hegyi@819
 | 
   374  | 
  | 
| 
hegyi@819
 | 
   375  | 
  //! \brief A structure for representing undirected path in a graph.
  | 
| 
hegyi@819
 | 
   376  | 
  //!
  | 
| 
hegyi@819
 | 
   377  | 
  //! A structure for representing undirected path in a graph. Ie. this is
  | 
| 
hegyi@819
 | 
   378  | 
  //! a path in a \e directed graph but the edges should not be directed
  | 
| 
hegyi@819
 | 
   379  | 
  //! forward.
  | 
| 
hegyi@819
 | 
   380  | 
  //!
  | 
| 
hegyi@819
 | 
   381  | 
  //! \param Graph The graph type in which the path is.
  | 
| 
hegyi@819
 | 
   382  | 
  //! \param DM DebugMode, defaults to DefaultDebugMode.
  | 
| 
hegyi@837
 | 
   383  | 
  //!
  | 
| 
hegyi@819
 | 
   384  | 
  //! In a sense, the path can be treated as a graph, for is has \c NodeIt
  | 
| 
hegyi@819
 | 
   385  | 
  //! and \c EdgeIt with the same usage. These types converts to the \c Node
  | 
| 
hegyi@819
 | 
   386  | 
  //! and \c Edge of the original graph.
  | 
| 
hegyi@819
 | 
   387  | 
  //!
  | 
| 
hegyi@819
 | 
   388  | 
  //! \todo Thoroughfully check all the range and consistency tests.
  | 
| 
hegyi@831
 | 
   389  | 
  template<typename Graph>
  | 
| 
hegyi@819
 | 
   390  | 
  class UndirPath {
 | 
| 
hegyi@819
 | 
   391  | 
  public:
  | 
| 
hegyi@819
 | 
   392  | 
    /// Edge type of the underlying graph.
  | 
| 
hegyi@819
 | 
   393  | 
    typedef typename Graph::Edge GraphEdge;
  | 
| 
hegyi@819
 | 
   394  | 
     /// Node type of the underlying graph.
  | 
| 
hegyi@819
 | 
   395  | 
   typedef typename Graph::Node GraphNode;
  | 
| 
hegyi@819
 | 
   396  | 
    class NodeIt;
  | 
| 
hegyi@819
 | 
   397  | 
    class EdgeIt;
  | 
| 
hegyi@819
 | 
   398  | 
  | 
| 
hegyi@819
 | 
   399  | 
  protected:
  | 
| 
hegyi@819
 | 
   400  | 
    const Graph *gr;
  | 
| 
hegyi@819
 | 
   401  | 
    typedef std::vector<GraphEdge> Container;
  | 
| 
hegyi@819
 | 
   402  | 
    Container edges;
  | 
| 
hegyi@819
 | 
   403  | 
  | 
| 
hegyi@819
 | 
   404  | 
  public:
  | 
| 
hegyi@819
 | 
   405  | 
  | 
| 
hegyi@819
 | 
   406  | 
    /// \param _G The graph in which the path is.
  | 
| 
hegyi@819
 | 
   407  | 
    ///
  | 
| 
hegyi@819
 | 
   408  | 
    UndirPath(const Graph &_G) : gr(&_G) {}
 | 
| 
hegyi@819
 | 
   409  | 
  | 
| 
hegyi@819
 | 
   410  | 
    /// \brief Subpath constructor.
  | 
| 
hegyi@819
 | 
   411  | 
    ///
  | 
| 
hegyi@819
 | 
   412  | 
    /// Subpath defined by two nodes.
  | 
| 
hegyi@819
 | 
   413  | 
    /// \warning It is an error if the two edges are not in order!
  | 
| 
hegyi@819
 | 
   414  | 
    UndirPath(const UndirPath &P, const NodeIt &a, const NodeIt &b) {
 | 
| 
hegyi@819
 | 
   415  | 
      gr = P.gr;
  | 
| 
hegyi@819
 | 
   416  | 
      edges.insert(edges.end(), P.edges.begin()+a.idx, P.edges.begin()+b.idx);
  | 
| 
hegyi@819
 | 
   417  | 
    }
  | 
| 
hegyi@819
 | 
   418  | 
  | 
| 
hegyi@819
 | 
   419  | 
    /// \brief Subpath constructor.
  | 
| 
hegyi@819
 | 
   420  | 
    ///
  | 
| 
hegyi@819
 | 
   421  | 
    /// Subpath defined by two edges. Contains edges in [a,b)
  | 
| 
hegyi@819
 | 
   422  | 
    /// \warning It is an error if the two edges are not in order!
  | 
| 
hegyi@819
 | 
   423  | 
    UndirPath(const UndirPath &P, const EdgeIt &a, const EdgeIt &b) {
 | 
| 
hegyi@819
 | 
   424  | 
      gr = P.gr;
  | 
| 
hegyi@819
 | 
   425  | 
      edges.insert(edges.end(), P.edges.begin()+a.idx, P.edges.begin()+b.idx);
  | 
| 
hegyi@819
 | 
   426  | 
    }
  | 
| 
hegyi@819
 | 
   427  | 
  | 
| 
hegyi@819
 | 
   428  | 
    /// Length of the path.
  | 
| 
hegyi@819
 | 
   429  | 
    size_t length() const { return edges.size(); }
 | 
| 
hegyi@819
 | 
   430  | 
    /// Returns whether the path is empty.
  | 
| 
hegyi@819
 | 
   431  | 
    bool empty() const { return edges.empty(); }
 | 
| 
hegyi@819
 | 
   432  | 
  | 
| 
hegyi@819
 | 
   433  | 
    /// Resets the path to an empty path.
  | 
| 
hegyi@819
 | 
   434  | 
    void clear() { edges.clear(); }
 | 
| 
hegyi@819
 | 
   435  | 
  | 
| 
hegyi@819
 | 
   436  | 
    /// \brief Starting point of the path.
  | 
| 
hegyi@819
 | 
   437  | 
    ///
  | 
| 
hegyi@819
 | 
   438  | 
    /// Starting point of the path.
  | 
| 
hegyi@819
 | 
   439  | 
    /// Returns INVALID if the path is empty.
  | 
| 
alpar@986
 | 
   440  | 
    GraphNode source() const {
 | 
| 
alpar@986
 | 
   441  | 
      return empty() ? INVALID : gr->source(edges[0]);
  | 
| 
hegyi@819
 | 
   442  | 
    }
  | 
| 
hegyi@819
 | 
   443  | 
    /// \brief End point of the path.
  | 
| 
hegyi@819
 | 
   444  | 
    ///
  | 
| 
hegyi@819
 | 
   445  | 
    /// End point of the path.
  | 
| 
hegyi@819
 | 
   446  | 
    /// Returns INVALID if the path is empty.
  | 
| 
alpar@986
 | 
   447  | 
    GraphNode target() const {
 | 
| 
alpar@986
 | 
   448  | 
      return empty() ? INVALID : gr->target(edges[length()-1]);
  | 
| 
hegyi@819
 | 
   449  | 
    }
  | 
| 
hegyi@819
 | 
   450  | 
  | 
| 
hegyi@819
 | 
   451  | 
    /// \brief Initializes node or edge iterator to point to the first
  | 
| 
hegyi@819
 | 
   452  | 
    /// node or edge.
  | 
| 
hegyi@819
 | 
   453  | 
    ///
  | 
| 
hegyi@819
 | 
   454  | 
    /// \sa nth
  | 
| 
hegyi@819
 | 
   455  | 
    template<typename It>
  | 
| 
hegyi@819
 | 
   456  | 
    It& first(It &i) const { return i=It(*this); }
 | 
| 
hegyi@819
 | 
   457  | 
  | 
| 
hegyi@819
 | 
   458  | 
    /// \brief Initializes node iterator to point to the node of a given index.
  | 
| 
hegyi@819
 | 
   459  | 
    NodeIt& nth(NodeIt &i, int n) const {
 | 
| 
hegyi@819
 | 
   460  | 
      return i=NodeIt(*this, n);
  | 
| 
hegyi@819
 | 
   461  | 
    }
  | 
| 
hegyi@819
 | 
   462  | 
  | 
| 
hegyi@819
 | 
   463  | 
    /// \brief Initializes edge iterator to point to the edge of a given index.
  | 
| 
hegyi@819
 | 
   464  | 
    EdgeIt& nth(EdgeIt &i, int n) const {
 | 
| 
hegyi@819
 | 
   465  | 
      return i=EdgeIt(*this, n);
  | 
| 
hegyi@819
 | 
   466  | 
    }
  | 
| 
hegyi@819
 | 
   467  | 
  | 
| 
hegyi@819
 | 
   468  | 
    /// Checks validity of a node or edge iterator.
  | 
| 
hegyi@819
 | 
   469  | 
    template<typename It>
  | 
| 
hegyi@819
 | 
   470  | 
    static
  | 
| 
hegyi@819
 | 
   471  | 
    bool valid(const It &i) { return i.valid(); }
 | 
| 
hegyi@819
 | 
   472  | 
  | 
| 
hegyi@819
 | 
   473  | 
    /// Steps the given node or edge iterator.
  | 
| 
hegyi@819
 | 
   474  | 
    template<typename It>
  | 
| 
hegyi@819
 | 
   475  | 
    static
  | 
| 
hegyi@819
 | 
   476  | 
    It& next(It &e) {
 | 
| 
hegyi@819
 | 
   477  | 
      return ++e;
  | 
| 
hegyi@819
 | 
   478  | 
    }
  | 
| 
hegyi@819
 | 
   479  | 
  | 
| 
alpar@986
 | 
   480  | 
    /// \brief Returns node iterator pointing to the target node of the
  | 
| 
hegyi@819
 | 
   481  | 
    /// given edge iterator.
  | 
| 
alpar@986
 | 
   482  | 
    NodeIt target(const EdgeIt& e) const {
 | 
| 
hegyi@819
 | 
   483  | 
      return NodeIt(*this, e.idx+1);
  | 
| 
hegyi@819
 | 
   484  | 
    }
  | 
| 
hegyi@819
 | 
   485  | 
  | 
| 
alpar@986
 | 
   486  | 
    /// \brief Returns node iterator pointing to the source node of the
  | 
| 
hegyi@819
 | 
   487  | 
    /// given edge iterator.
  | 
| 
alpar@986
 | 
   488  | 
    NodeIt source(const EdgeIt& e) const {
 | 
| 
hegyi@819
 | 
   489  | 
      return NodeIt(*this, e.idx);
  | 
| 
hegyi@819
 | 
   490  | 
    }
  | 
| 
hegyi@819
 | 
   491  | 
  | 
| 
hegyi@819
 | 
   492  | 
  | 
| 
hegyi@819
 | 
   493  | 
  | 
| 
hegyi@819
 | 
   494  | 
    /**
  | 
| 
hegyi@819
 | 
   495  | 
     * \brief Iterator class to iterate on the edges of the paths
  | 
| 
hegyi@837
 | 
   496  | 
     *
  | 
| 
hegyi@819
 | 
   497  | 
     * \ingroup paths
  | 
| 
hegyi@819
 | 
   498  | 
     * This class is used to iterate on the edges of the paths
  | 
| 
hegyi@819
 | 
   499  | 
     *
  | 
| 
hegyi@819
 | 
   500  | 
     * Of course it converts to Graph::Edge
  | 
| 
hegyi@837
 | 
   501  | 
     *
  | 
| 
hegyi@819
 | 
   502  | 
     * \todo Its interface differs from the standard edge iterator.
  | 
| 
hegyi@819
 | 
   503  | 
     * Yes, it shouldn't.
  | 
| 
hegyi@819
 | 
   504  | 
     */
  | 
| 
hegyi@819
 | 
   505  | 
    class EdgeIt {
 | 
| 
hegyi@819
 | 
   506  | 
      friend class UndirPath;
  | 
| 
hegyi@819
 | 
   507  | 
  | 
| 
hegyi@819
 | 
   508  | 
      int idx;
  | 
| 
hegyi@819
 | 
   509  | 
      const UndirPath *p;
  | 
| 
hegyi@819
 | 
   510  | 
    public:
  | 
| 
hegyi@819
 | 
   511  | 
      /// Default constructor
  | 
| 
hegyi@819
 | 
   512  | 
      EdgeIt() {}
 | 
| 
hegyi@819
 | 
   513  | 
      /// Invalid constructor
  | 
| 
hegyi@819
 | 
   514  | 
      EdgeIt(Invalid) : idx(-1), p(0) {}
 | 
| 
hegyi@819
 | 
   515  | 
      /// Constructor with starting point
  | 
| 
hegyi@819
 | 
   516  | 
      EdgeIt(const UndirPath &_p, int _idx = 0) :
  | 
| 
hegyi@819
 | 
   517  | 
	idx(_idx), p(&_p) { validate(); }
 | 
| 
hegyi@819
 | 
   518  | 
  | 
| 
hegyi@819
 | 
   519  | 
      ///Validity check
  | 
| 
hegyi@819
 | 
   520  | 
      bool valid() const { return idx!=-1; }
 | 
| 
hegyi@819
 | 
   521  | 
  | 
| 
hegyi@819
 | 
   522  | 
      ///Conversion to Graph::Edge
  | 
| 
hegyi@819
 | 
   523  | 
      operator GraphEdge () const {
 | 
| 
hegyi@819
 | 
   524  | 
	return valid() ? p->edges[idx] : INVALID;
  | 
| 
hegyi@819
 | 
   525  | 
      }
  | 
| 
hegyi@819
 | 
   526  | 
      /// Next edge
  | 
| 
hegyi@819
 | 
   527  | 
     EdgeIt& operator++() { ++idx; validate(); return *this; }
 | 
| 
hegyi@819
 | 
   528  | 
  | 
| 
hegyi@819
 | 
   529  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   530  | 
      bool operator==(const EdgeIt& e) const { return idx==e.idx; }
 | 
| 
hegyi@819
 | 
   531  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   532  | 
      bool operator!=(const EdgeIt& e) const { return idx!=e.idx; }
 | 
| 
hegyi@819
 | 
   533  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   534  | 
      bool operator<(const EdgeIt& e) const { return idx<e.idx; }
 | 
| 
hegyi@819
 | 
   535  | 
  | 
| 
hegyi@819
 | 
   536  | 
    private:
  | 
| 
hegyi@819
 | 
   537  | 
      // FIXME: comparison between signed and unsigned...
  | 
| 
hegyi@819
 | 
   538  | 
      // Jo ez igy? Vagy esetleg legyen a length() int?
  | 
| 
hegyi@819
 | 
   539  | 
      void validate() { if( size_t(idx) >= p->length() ) idx=-1; }
 | 
| 
hegyi@819
 | 
   540  | 
    };
  | 
| 
hegyi@819
 | 
   541  | 
  | 
| 
hegyi@819
 | 
   542  | 
    /**
  | 
| 
hegyi@819
 | 
   543  | 
     * \brief Iterator class to iterate on the nodes of the paths
  | 
| 
hegyi@837
 | 
   544  | 
     *
  | 
| 
hegyi@819
 | 
   545  | 
     * \ingroup paths
  | 
| 
hegyi@819
 | 
   546  | 
     * This class is used to iterate on the nodes of the paths
  | 
| 
hegyi@819
 | 
   547  | 
     *
  | 
| 
hegyi@819
 | 
   548  | 
     * Of course it converts to Graph::Node
  | 
| 
hegyi@837
 | 
   549  | 
     *
  | 
| 
hegyi@819
 | 
   550  | 
     * \todo Its interface differs from the standard node iterator.
  | 
| 
hegyi@819
 | 
   551  | 
     * Yes, it shouldn't.
  | 
| 
hegyi@819
 | 
   552  | 
     */
  | 
| 
hegyi@819
 | 
   553  | 
    class NodeIt {
 | 
| 
hegyi@819
 | 
   554  | 
      friend class UndirPath;
  | 
| 
hegyi@819
 | 
   555  | 
  | 
| 
hegyi@819
 | 
   556  | 
      int idx;
  | 
| 
hegyi@819
 | 
   557  | 
      const UndirPath *p;
  | 
| 
hegyi@819
 | 
   558  | 
    public:
  | 
| 
hegyi@819
 | 
   559  | 
      /// Default constructor
  | 
| 
hegyi@819
 | 
   560  | 
      NodeIt() {}
 | 
| 
hegyi@819
 | 
   561  | 
      /// Invalid constructor
  | 
| 
hegyi@819
 | 
   562  | 
      NodeIt(Invalid) : idx(-1), p(0) {}
 | 
| 
hegyi@819
 | 
   563  | 
      /// Constructor with starting point
  | 
| 
hegyi@819
 | 
   564  | 
      NodeIt(const UndirPath &_p, int _idx = 0) :
  | 
| 
hegyi@819
 | 
   565  | 
	idx(_idx), p(&_p) { validate(); }
 | 
| 
hegyi@819
 | 
   566  | 
  | 
| 
hegyi@819
 | 
   567  | 
      ///Validity check
  | 
| 
hegyi@819
 | 
   568  | 
      bool valid() const { return idx!=-1; }
 | 
| 
hegyi@819
 | 
   569  | 
  | 
| 
hegyi@819
 | 
   570  | 
      ///Conversion to Graph::Node
  | 
| 
hegyi@819
 | 
   571  | 
      operator const GraphNode& () const {
 | 
| 
hegyi@819
 | 
   572  | 
	if(idx >= p->length())
  | 
| 
alpar@986
 | 
   573  | 
	  return p->target();
  | 
| 
hegyi@819
 | 
   574  | 
	else if(idx >= 0)
  | 
| 
alpar@986
 | 
   575  | 
	  return p->gr->source(p->edges[idx]);
  | 
| 
hegyi@819
 | 
   576  | 
	else
  | 
| 
hegyi@819
 | 
   577  | 
	  return INVALID;
  | 
| 
hegyi@819
 | 
   578  | 
      }
  | 
| 
hegyi@819
 | 
   579  | 
      /// Next node
  | 
| 
hegyi@819
 | 
   580  | 
      NodeIt& operator++() { ++idx; validate(); return *this; }
 | 
| 
hegyi@819
 | 
   581  | 
  | 
| 
hegyi@819
 | 
   582  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   583  | 
      bool operator==(const NodeIt& e) const { return idx==e.idx; }
 | 
| 
hegyi@819
 | 
   584  | 
      /// Comparison operator
  | 
| 
hegyi@819
 | 
   585  | 
      bool operator!=(const NodeIt& e) const { return idx!=e.idx; }
 | 
| 
hegyi@819
 | 
   586  | 
       /// Comparison operator
  | 
| 
hegyi@819
 | 
   587  | 
     bool operator<(const NodeIt& e) const { return idx<e.idx; }
 | 
| 
hegyi@819
 | 
   588  | 
  | 
| 
hegyi@819
 | 
   589  | 
    private:
  | 
| 
hegyi@819
 | 
   590  | 
      void validate() { if( size_t(idx) > p->length() ) idx=-1; }
 | 
| 
hegyi@819
 | 
   591  | 
    };
  | 
| 
hegyi@819
 | 
   592  | 
  | 
| 
hegyi@837
 | 
   593  | 
    friend class Builder;
  | 
| 
hegyi@819
 | 
   594  | 
  | 
| 
hegyi@819
 | 
   595  | 
    /**
  | 
| 
hegyi@819
 | 
   596  | 
     * \brief Class to build paths
  | 
| 
hegyi@837
 | 
   597  | 
     *
  | 
| 
hegyi@819
 | 
   598  | 
     * \ingroup paths
  | 
| 
hegyi@819
 | 
   599  | 
     * This class is used to fill a path with edges.
  | 
| 
hegyi@819
 | 
   600  | 
     *
  | 
| 
hegyi@819
 | 
   601  | 
     * You can push new edges to the front and to the back of the path in
  | 
| 
hegyi@819
 | 
   602  | 
     * arbitrary order then you should commit these changes to the graph.
  | 
| 
hegyi@819
 | 
   603  | 
     *
  | 
| 
hegyi@819
 | 
   604  | 
     * Fundamentally, for most "Paths" (classes fulfilling the
  | 
| 
hegyi@819
 | 
   605  | 
     * PathConcept) while the builder is active (after the first modifying
  | 
| 
hegyi@819
 | 
   606  | 
     * operation and until the commit()) the original Path is in a
  | 
| 
hegyi@819
 | 
   607  | 
     * "transitional" state (operations ot it have undefined result). But
  | 
| 
hegyi@819
 | 
   608  | 
     * in the case of UndirPath the original path is unchanged until the
  | 
| 
hegyi@819
 | 
   609  | 
     * commit. However we don't recomend that you use this feature.
  | 
| 
hegyi@819
 | 
   610  | 
     */
  | 
| 
hegyi@819
 | 
   611  | 
    class Builder {
 | 
| 
hegyi@819
 | 
   612  | 
      UndirPath &P;
  | 
| 
hegyi@819
 | 
   613  | 
      Container front, back;
  | 
| 
hegyi@819
 | 
   614  | 
  | 
| 
hegyi@819
 | 
   615  | 
    public:
  | 
| 
hegyi@819
 | 
   616  | 
      ///\param _P the path you want to fill in.
  | 
| 
hegyi@819
 | 
   617  | 
      ///
  | 
| 
hegyi@819
 | 
   618  | 
      Builder(UndirPath &_P) : P(_P) {}
 | 
| 
hegyi@819
 | 
   619  | 
  | 
| 
hegyi@819
 | 
   620  | 
      /// Sets the starting node of the path.
  | 
| 
hegyi@837
 | 
   621  | 
  | 
| 
hegyi@819
 | 
   622  | 
      /// Sets the starting node of the path. Edge added to the path
  | 
| 
hegyi@819
 | 
   623  | 
      /// afterwards have to be incident to this node.
  | 
| 
alpar@900
 | 
   624  | 
      /// It should be called if and only if
  | 
| 
alpar@900
 | 
   625  | 
      /// the path is empty and before any call to
  | 
| 
hegyi@819
 | 
   626  | 
      /// \ref pushFront() or \ref pushBack()
  | 
| 
hegyi@819
 | 
   627  | 
      void setStartNode(const GraphNode &) {}
 | 
| 
hegyi@819
 | 
   628  | 
  | 
| 
hegyi@819
 | 
   629  | 
      ///Push a new edge to the front of the path
  | 
| 
hegyi@819
 | 
   630  | 
  | 
| 
hegyi@819
 | 
   631  | 
      ///Push a new edge to the front of the path.
  | 
| 
hegyi@819
 | 
   632  | 
      ///\sa setStartNode
  | 
| 
hegyi@819
 | 
   633  | 
      void pushFront(const GraphEdge& e) {
 | 
| 
hegyi@819
 | 
   634  | 
	front.push_back(e);
  | 
| 
hegyi@819
 | 
   635  | 
      }
  | 
| 
hegyi@819
 | 
   636  | 
  | 
| 
hegyi@819
 | 
   637  | 
      ///Push a new edge to the back of the path
  | 
| 
hegyi@819
 | 
   638  | 
  | 
| 
hegyi@819
 | 
   639  | 
      ///Push a new edge to the back of the path.
  | 
| 
hegyi@819
 | 
   640  | 
      ///\sa setStartNode
  | 
| 
hegyi@819
 | 
   641  | 
      void pushBack(const GraphEdge& e) {
 | 
| 
hegyi@819
 | 
   642  | 
	back.push_back(e);
  | 
| 
hegyi@819
 | 
   643  | 
      }
  | 
| 
hegyi@819
 | 
   644  | 
  | 
| 
hegyi@819
 | 
   645  | 
      ///Commit the changes to the path.
  | 
| 
hegyi@819
 | 
   646  | 
      void commit() {
 | 
| 
hegyi@819
 | 
   647  | 
	if( !(front.empty() && back.empty()) ) {
 | 
| 
hegyi@819
 | 
   648  | 
	  Container tmp;
  | 
| 
hegyi@819
 | 
   649  | 
	  tmp.reserve(front.size()+back.size()+P.length());
  | 
| 
hegyi@819
 | 
   650  | 
	  tmp.insert(tmp.end(), front.rbegin(), front.rend());
  | 
| 
hegyi@819
 | 
   651  | 
	  tmp.insert(tmp.end(), P.edges.begin(), P.edges.end());
  | 
| 
hegyi@819
 | 
   652  | 
	  tmp.insert(tmp.end(), back.begin(), back.end());
  | 
| 
hegyi@819
 | 
   653  | 
	  P.edges.swap(tmp);
  | 
| 
hegyi@819
 | 
   654  | 
	  front.clear();
  | 
| 
hegyi@819
 | 
   655  | 
	  back.clear();
  | 
| 
hegyi@819
 | 
   656  | 
	}
  | 
| 
hegyi@819
 | 
   657  | 
      }
  | 
| 
hegyi@819
 | 
   658  | 
  | 
| 
hegyi@819
 | 
   659  | 
  | 
| 
hegyi@819
 | 
   660  | 
      ///Reserve storage for the builder in advance.
  | 
| 
hegyi@819
 | 
   661  | 
  | 
| 
hegyi@837
 | 
   662  | 
      ///If you know a reasonable upper bound of the number of the edges
  | 
| 
hegyi@837
 | 
   663  | 
      ///to add to the front, using this function you can speed up the building.
  | 
| 
hegyi@819
 | 
   664  | 
  | 
| 
hegyi@837
 | 
   665  | 
      void reserveFront(size_t r) {front.reserve(r);}
 | 
| 
hegyi@837
 | 
   666  | 
  | 
| 
hegyi@837
 | 
   667  | 
      ///Reserve storage for the builder in advance.
  | 
| 
hegyi@837
 | 
   668  | 
  | 
| 
hegyi@837
 | 
   669  | 
      ///If you know a reasonable upper bound of the number of the edges
  | 
| 
hegyi@837
 | 
   670  | 
      ///to add to the back, using this function you can speed up the building.
  | 
| 
hegyi@837
 | 
   671  | 
  | 
| 
hegyi@837
 | 
   672  | 
      void reserveBack(size_t r) {back.reserve(r);}
 | 
| 
hegyi@831
 | 
   673  | 
  | 
| 
hegyi@819
 | 
   674  | 
    private:
  | 
| 
hegyi@819
 | 
   675  | 
      bool empty() {
 | 
| 
hegyi@819
 | 
   676  | 
	return front.empty() && back.empty() && P.empty();
  | 
| 
hegyi@819
 | 
   677  | 
      }
  | 
| 
hegyi@819
 | 
   678  | 
  | 
| 
alpar@986
 | 
   679  | 
      GraphNode source() const {
 | 
| 
hegyi@819
 | 
   680  | 
	if( ! front.empty() )
  | 
| 
alpar@986
 | 
   681  | 
	  return P.gr->source(front[front.size()-1]);
  | 
| 
hegyi@819
 | 
   682  | 
	else if( ! P.empty() )
  | 
| 
alpar@986
 | 
   683  | 
	  return P.gr->source(P.edges[0]);
  | 
| 
hegyi@819
 | 
   684  | 
	else if( ! back.empty() )
  | 
| 
alpar@986
 | 
   685  | 
	  return P.gr->source(back[0]);
  | 
| 
hegyi@819
 | 
   686  | 
	else
  | 
| 
hegyi@819
 | 
   687  | 
	  return INVALID;
  | 
| 
hegyi@819
 | 
   688  | 
      }
  | 
| 
alpar@986
 | 
   689  | 
      GraphNode target() const {
 | 
| 
hegyi@819
 | 
   690  | 
	if( ! back.empty() )
  | 
| 
alpar@986
 | 
   691  | 
	  return P.gr->target(back[back.size()-1]);
  | 
| 
hegyi@819
 | 
   692  | 
	else if( ! P.empty() )
  | 
| 
alpar@986
 | 
   693  | 
	  return P.gr->target(P.edges[P.length()-1]);
  | 
| 
hegyi@819
 | 
   694  | 
	else if( ! front.empty() )
  | 
| 
alpar@986
 | 
   695  | 
	  return P.gr->target(front[0]);
  | 
| 
hegyi@819
 | 
   696  | 
	else
  | 
| 
hegyi@819
 | 
   697  | 
	  return INVALID;
  | 
| 
hegyi@819
 | 
   698  | 
      }
  | 
| 
hegyi@819
 | 
   699  | 
  | 
| 
hegyi@819
 | 
   700  | 
    };
  | 
| 
hegyi@819
 | 
   701  | 
  | 
| 
hegyi@819
 | 
   702  | 
  };
  | 
| 
hegyi@819
 | 
   703  | 
  | 
| 
hegyi@819
 | 
   704  | 
  | 
| 
hegyi@819
 | 
   705  | 
  ///@}
  | 
| 
hegyi@819
 | 
   706  | 
  | 
| 
alpar@921
 | 
   707  | 
} // namespace lemon
  | 
| 
hegyi@819
 | 
   708  | 
  | 
| 
alpar@921
 | 
   709  | 
#endif // LEMON_PATH_H
  |