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:
|
hegyi@819
|
275 |
///\param _P the path you want to fill in.
|
hegyi@819
|
276 |
///
|
hegyi@819
|
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:
|
hegyi@819
|
612 |
///\param _P the path you want to fill in.
|
hegyi@819
|
613 |
///
|
hegyi@819
|
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
|