src/lemon/path.h
author alpar
Sun, 06 Feb 2005 14:38:00 +0000
changeset 1127 2dea256cb988
parent 959 c80ef5912903
child 1151 b217fc69f913
permissions -rw-r--r--
Document state_enum
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