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