0
6
0
... | ... |
@@ -35,53 +35,53 @@ |
35 | 35 |
// \ingroup graphbits |
36 | 36 |
// |
37 | 37 |
// \brief Extender for the digraph implementations |
38 | 38 |
template <typename Base> |
39 | 39 |
class DigraphExtender : public Base { |
40 | 40 |
typedef Base Parent; |
41 | 41 |
|
42 | 42 |
public: |
43 | 43 |
|
44 | 44 |
typedef DigraphExtender Digraph; |
45 | 45 |
|
46 | 46 |
// Base extensions |
47 | 47 |
|
48 | 48 |
typedef typename Parent::Node Node; |
49 | 49 |
typedef typename Parent::Arc Arc; |
50 | 50 |
|
51 | 51 |
int maxId(Node) const { |
52 | 52 |
return Parent::maxNodeId(); |
53 | 53 |
} |
54 | 54 |
|
55 | 55 |
int maxId(Arc) const { |
56 | 56 |
return Parent::maxArcId(); |
57 | 57 |
} |
58 | 58 |
|
59 |
Node fromId(int id, Node) |
|
59 |
static Node fromId(int id, Node) { |
|
60 | 60 |
return Parent::nodeFromId(id); |
61 | 61 |
} |
62 | 62 |
|
63 |
Arc fromId(int id, Arc) |
|
63 |
static Arc fromId(int id, Arc) { |
|
64 | 64 |
return Parent::arcFromId(id); |
65 | 65 |
} |
66 | 66 |
|
67 | 67 |
Node oppositeNode(const Node &node, const Arc &arc) const { |
68 | 68 |
if (node == Parent::source(arc)) |
69 | 69 |
return Parent::target(arc); |
70 | 70 |
else if(node == Parent::target(arc)) |
71 | 71 |
return Parent::source(arc); |
72 | 72 |
else |
73 | 73 |
return INVALID; |
74 | 74 |
} |
75 | 75 |
|
76 | 76 |
// Alterable extension |
77 | 77 |
|
78 | 78 |
typedef AlterationNotifier<DigraphExtender, Node> NodeNotifier; |
79 | 79 |
typedef AlterationNotifier<DigraphExtender, Arc> ArcNotifier; |
80 | 80 |
|
81 | 81 |
|
82 | 82 |
protected: |
83 | 83 |
|
84 | 84 |
mutable NodeNotifier node_notifier; |
85 | 85 |
mutable ArcNotifier arc_notifier; |
86 | 86 |
|
87 | 87 |
public: |
... | ... |
@@ -334,57 +334,57 @@ |
334 | 334 |
public: |
335 | 335 |
|
336 | 336 |
typedef GraphExtender Graph; |
337 | 337 |
|
338 | 338 |
typedef True UndirectedTag; |
339 | 339 |
|
340 | 340 |
typedef typename Parent::Node Node; |
341 | 341 |
typedef typename Parent::Arc Arc; |
342 | 342 |
typedef typename Parent::Edge Edge; |
343 | 343 |
|
344 | 344 |
// Graph extension |
345 | 345 |
|
346 | 346 |
int maxId(Node) const { |
347 | 347 |
return Parent::maxNodeId(); |
348 | 348 |
} |
349 | 349 |
|
350 | 350 |
int maxId(Arc) const { |
351 | 351 |
return Parent::maxArcId(); |
352 | 352 |
} |
353 | 353 |
|
354 | 354 |
int maxId(Edge) const { |
355 | 355 |
return Parent::maxEdgeId(); |
356 | 356 |
} |
357 | 357 |
|
358 |
Node fromId(int id, Node) |
|
358 |
static Node fromId(int id, Node) { |
|
359 | 359 |
return Parent::nodeFromId(id); |
360 | 360 |
} |
361 | 361 |
|
362 |
Arc fromId(int id, Arc) |
|
362 |
static Arc fromId(int id, Arc) { |
|
363 | 363 |
return Parent::arcFromId(id); |
364 | 364 |
} |
365 | 365 |
|
366 |
Edge fromId(int id, Edge) |
|
366 |
static Edge fromId(int id, Edge) { |
|
367 | 367 |
return Parent::edgeFromId(id); |
368 | 368 |
} |
369 | 369 |
|
370 | 370 |
Node oppositeNode(const Node &n, const Edge &e) const { |
371 | 371 |
if( n == Parent::u(e)) |
372 | 372 |
return Parent::v(e); |
373 | 373 |
else if( n == Parent::v(e)) |
374 | 374 |
return Parent::u(e); |
375 | 375 |
else |
376 | 376 |
return INVALID; |
377 | 377 |
} |
378 | 378 |
|
379 | 379 |
Arc oppositeArc(const Arc &arc) const { |
380 | 380 |
return Parent::direct(arc, !Parent::direction(arc)); |
381 | 381 |
} |
382 | 382 |
|
383 | 383 |
using Parent::direct; |
384 | 384 |
Arc direct(const Edge &edge, const Node &node) const { |
385 | 385 |
return Parent::direct(edge, Parent::u(edge) == node); |
386 | 386 |
} |
387 | 387 |
|
388 | 388 |
// Alterable extension |
389 | 389 |
|
390 | 390 |
typedef AlterationNotifier<GraphExtender, Node> NodeNotifier; |
... | ... |
@@ -846,49 +846,49 @@ |
846 | 846 |
return Arc(n); |
847 | 847 |
} |
848 | 848 |
|
849 | 849 |
void clear() { |
850 | 850 |
Node node; |
851 | 851 |
for (first(node); node != INVALID; next(node)) { |
852 | 852 |
(*_nodes)[node].first_in = -1; |
853 | 853 |
(*_nodes)[node].first_out = -1; |
854 | 854 |
} |
855 | 855 |
arcs.clear(); |
856 | 856 |
} |
857 | 857 |
|
858 | 858 |
void first(Node& node) const { |
859 | 859 |
_graph->first(node); |
860 | 860 |
} |
861 | 861 |
|
862 | 862 |
void next(Node& node) const { |
863 | 863 |
_graph->next(node); |
864 | 864 |
} |
865 | 865 |
|
866 | 866 |
void first(Arc& arc) const { |
867 | 867 |
arc.id = arcs.size() - 1; |
868 | 868 |
} |
869 | 869 |
|
870 |
void next(Arc& arc) |
|
870 |
static void next(Arc& arc) { |
|
871 | 871 |
--arc.id; |
872 | 872 |
} |
873 | 873 |
|
874 | 874 |
void firstOut(Arc& arc, const Node& node) const { |
875 | 875 |
arc.id = (*_nodes)[node].first_out; |
876 | 876 |
} |
877 | 877 |
|
878 | 878 |
void nextOut(Arc& arc) const { |
879 | 879 |
arc.id = arcs[arc.id].next_out; |
880 | 880 |
} |
881 | 881 |
|
882 | 882 |
void firstIn(Arc& arc, const Node& node) const { |
883 | 883 |
arc.id = (*_nodes)[node].first_in; |
884 | 884 |
} |
885 | 885 |
|
886 | 886 |
void nextIn(Arc& arc) const { |
887 | 887 |
arc.id = arcs[arc.id].next_in; |
888 | 888 |
} |
889 | 889 |
|
890 | 890 |
int id(const Node& node) const { return _graph->id(node); } |
891 | 891 |
int id(const Arc& arc) const { return arc.id; } |
892 | 892 |
|
893 | 893 |
Node nodeFromId(int ix) const { return _graph->nodeFromId(ix); } |
894 | 894 |
Arc arcFromId(int ix) const { return Arc(ix); } |
... | ... |
@@ -1152,57 +1152,57 @@ |
1152 | 1152 |
|
1153 | 1153 |
return Edge(n / 2); |
1154 | 1154 |
} |
1155 | 1155 |
|
1156 | 1156 |
void clear() { |
1157 | 1157 |
Node node; |
1158 | 1158 |
for (first(node); node != INVALID; next(node)) { |
1159 | 1159 |
(*_nodes)[node].first_out = -1; |
1160 | 1160 |
} |
1161 | 1161 |
arcs.clear(); |
1162 | 1162 |
} |
1163 | 1163 |
|
1164 | 1164 |
void first(Node& node) const { |
1165 | 1165 |
_graph->first(node); |
1166 | 1166 |
} |
1167 | 1167 |
|
1168 | 1168 |
void next(Node& node) const { |
1169 | 1169 |
_graph->next(node); |
1170 | 1170 |
} |
1171 | 1171 |
|
1172 | 1172 |
void first(Arc& arc) const { |
1173 | 1173 |
arc.id = arcs.size() - 1; |
1174 | 1174 |
} |
1175 | 1175 |
|
1176 |
void next(Arc& arc) |
|
1176 |
static void next(Arc& arc) { |
|
1177 | 1177 |
--arc.id; |
1178 | 1178 |
} |
1179 | 1179 |
|
1180 | 1180 |
void first(Edge& arc) const { |
1181 | 1181 |
arc.id = arcs.size() / 2 - 1; |
1182 | 1182 |
} |
1183 | 1183 |
|
1184 |
void next(Edge& arc) |
|
1184 |
static void next(Edge& arc) { |
|
1185 | 1185 |
--arc.id; |
1186 | 1186 |
} |
1187 | 1187 |
|
1188 | 1188 |
void firstOut(Arc& arc, const Node& node) const { |
1189 | 1189 |
arc.id = (*_nodes)[node].first_out; |
1190 | 1190 |
} |
1191 | 1191 |
|
1192 | 1192 |
void nextOut(Arc& arc) const { |
1193 | 1193 |
arc.id = arcs[arc.id].next_out; |
1194 | 1194 |
} |
1195 | 1195 |
|
1196 | 1196 |
void firstIn(Arc& arc, const Node& node) const { |
1197 | 1197 |
arc.id = (((*_nodes)[node].first_out) ^ 1); |
1198 | 1198 |
if (arc.id == -2) arc.id = -1; |
1199 | 1199 |
} |
1200 | 1200 |
|
1201 | 1201 |
void nextIn(Arc& arc) const { |
1202 | 1202 |
arc.id = ((arcs[arc.id ^ 1].next_out) ^ 1); |
1203 | 1203 |
if (arc.id == -2) arc.id = -1; |
1204 | 1204 |
} |
1205 | 1205 |
|
1206 | 1206 |
void firstInc(Edge &arc, bool& dir, const Node& node) const { |
1207 | 1207 |
int de = (*_nodes)[node].first_out; |
1208 | 1208 |
if (de != -1 ) { |
... | ... |
@@ -30,49 +30,49 @@ |
30 | 30 |
|
31 | 31 |
class FullDigraphBase { |
32 | 32 |
public: |
33 | 33 |
|
34 | 34 |
typedef FullDigraphBase Digraph; |
35 | 35 |
|
36 | 36 |
class Node; |
37 | 37 |
class Arc; |
38 | 38 |
|
39 | 39 |
protected: |
40 | 40 |
|
41 | 41 |
int _node_num; |
42 | 42 |
int _arc_num; |
43 | 43 |
|
44 | 44 |
FullDigraphBase() {} |
45 | 45 |
|
46 | 46 |
void construct(int n) { _node_num = n; _arc_num = n * n; } |
47 | 47 |
|
48 | 48 |
public: |
49 | 49 |
|
50 | 50 |
typedef True NodeNumTag; |
51 | 51 |
typedef True ArcNumTag; |
52 | 52 |
|
53 | 53 |
Node operator()(int ix) const { return Node(ix); } |
54 |
int index(const Node& node) |
|
54 |
static int index(const Node& node) { return node._id; } |
|
55 | 55 |
|
56 | 56 |
Arc arc(const Node& s, const Node& t) const { |
57 | 57 |
return Arc(s._id * _node_num + t._id); |
58 | 58 |
} |
59 | 59 |
|
60 | 60 |
int nodeNum() const { return _node_num; } |
61 | 61 |
int arcNum() const { return _arc_num; } |
62 | 62 |
|
63 | 63 |
int maxNodeId() const { return _node_num - 1; } |
64 | 64 |
int maxArcId() const { return _arc_num - 1; } |
65 | 65 |
|
66 | 66 |
Node source(Arc arc) const { return arc._id / _node_num; } |
67 | 67 |
Node target(Arc arc) const { return arc._id % _node_num; } |
68 | 68 |
|
69 | 69 |
static int id(Node node) { return node._id; } |
70 | 70 |
static int id(Arc arc) { return arc._id; } |
71 | 71 |
|
72 | 72 |
static Node nodeFromId(int id) { return Node(id);} |
73 | 73 |
static Arc arcFromId(int id) { return Arc(id);} |
74 | 74 |
|
75 | 75 |
typedef True FindArcTag; |
76 | 76 |
|
77 | 77 |
Arc findArc(Node s, Node t, Arc prev = INVALID) const { |
78 | 78 |
return prev == INVALID ? arc(s, t) : INVALID; |
... | ... |
@@ -188,49 +188,49 @@ |
188 | 188 |
/// rebuild the digraph. This cause that the maps of the digraph will |
189 | 189 |
/// reallocated automatically and the previous values will be lost. |
190 | 190 |
void resize(int n) { |
191 | 191 |
Parent::notifier(Arc()).clear(); |
192 | 192 |
Parent::notifier(Node()).clear(); |
193 | 193 |
construct(n); |
194 | 194 |
Parent::notifier(Node()).build(); |
195 | 195 |
Parent::notifier(Arc()).build(); |
196 | 196 |
} |
197 | 197 |
|
198 | 198 |
/// \brief Returns the node with the given index. |
199 | 199 |
/// |
200 | 200 |
/// Returns the node with the given index. Since it is a static |
201 | 201 |
/// digraph its nodes can be indexed with integers from the range |
202 | 202 |
/// <tt>[0..nodeNum()-1]</tt>. |
203 | 203 |
/// \sa index() |
204 | 204 |
Node operator()(int ix) const { return Parent::operator()(ix); } |
205 | 205 |
|
206 | 206 |
/// \brief Returns the index of the given node. |
207 | 207 |
/// |
208 | 208 |
/// Returns the index of the given node. Since it is a static |
209 | 209 |
/// digraph its nodes can be indexed with integers from the range |
210 | 210 |
/// <tt>[0..nodeNum()-1]</tt>. |
211 | 211 |
/// \sa operator() |
212 |
int index(const Node& node) |
|
212 |
static int index(const Node& node) { return Parent::index(node); } |
|
213 | 213 |
|
214 | 214 |
/// \brief Returns the arc connecting the given nodes. |
215 | 215 |
/// |
216 | 216 |
/// Returns the arc connecting the given nodes. |
217 | 217 |
Arc arc(const Node& u, const Node& v) const { |
218 | 218 |
return Parent::arc(u, v); |
219 | 219 |
} |
220 | 220 |
|
221 | 221 |
/// \brief Number of nodes. |
222 | 222 |
int nodeNum() const { return Parent::nodeNum(); } |
223 | 223 |
/// \brief Number of arcs. |
224 | 224 |
int arcNum() const { return Parent::arcNum(); } |
225 | 225 |
}; |
226 | 226 |
|
227 | 227 |
|
228 | 228 |
class FullGraphBase { |
229 | 229 |
public: |
230 | 230 |
|
231 | 231 |
typedef FullGraphBase Graph; |
232 | 232 |
|
233 | 233 |
class Node; |
234 | 234 |
class Arc; |
235 | 235 |
class Edge; |
236 | 236 |
|
... | ... |
@@ -262,49 +262,49 @@ |
262 | 262 |
u = _node_num - 2 - u; |
263 | 263 |
v = _node_num - 1 - v; |
264 | 264 |
} |
265 | 265 |
} |
266 | 266 |
|
267 | 267 |
void _stid(int a, int& s, int& t) const { |
268 | 268 |
if ((a & 1) == 1) { |
269 | 269 |
_uvid(a >> 1, s, t); |
270 | 270 |
} else { |
271 | 271 |
_uvid(a >> 1, t, s); |
272 | 272 |
} |
273 | 273 |
} |
274 | 274 |
|
275 | 275 |
int _eid(int u, int v) const { |
276 | 276 |
if (u < (_node_num - 1) / 2) { |
277 | 277 |
return u * _node_num + v; |
278 | 278 |
} else { |
279 | 279 |
return (_node_num - 1 - u) * _node_num - v - 1; |
280 | 280 |
} |
281 | 281 |
} |
282 | 282 |
|
283 | 283 |
public: |
284 | 284 |
|
285 | 285 |
Node operator()(int ix) const { return Node(ix); } |
286 |
int index(const Node& node) |
|
286 |
static int index(const Node& node) { return node._id; } |
|
287 | 287 |
|
288 | 288 |
Edge edge(const Node& u, const Node& v) const { |
289 | 289 |
if (u._id < v._id) { |
290 | 290 |
return Edge(_eid(u._id, v._id)); |
291 | 291 |
} else if (u._id != v._id) { |
292 | 292 |
return Edge(_eid(v._id, u._id)); |
293 | 293 |
} else { |
294 | 294 |
return INVALID; |
295 | 295 |
} |
296 | 296 |
} |
297 | 297 |
|
298 | 298 |
Arc arc(const Node& s, const Node& t) const { |
299 | 299 |
if (s._id < t._id) { |
300 | 300 |
return Arc((_eid(s._id, t._id) << 1) | 1); |
301 | 301 |
} else if (s._id != t._id) { |
302 | 302 |
return Arc(_eid(t._id, s._id) << 1); |
303 | 303 |
} else { |
304 | 304 |
return INVALID; |
305 | 305 |
} |
306 | 306 |
} |
307 | 307 |
|
308 | 308 |
typedef True NodeNumTag; |
309 | 309 |
typedef True ArcNumTag; |
310 | 310 |
typedef True EdgeNumTag; |
... | ... |
@@ -559,49 +559,49 @@ |
559 | 559 |
void resize(int n) { |
560 | 560 |
Parent::notifier(Arc()).clear(); |
561 | 561 |
Parent::notifier(Edge()).clear(); |
562 | 562 |
Parent::notifier(Node()).clear(); |
563 | 563 |
construct(n); |
564 | 564 |
Parent::notifier(Node()).build(); |
565 | 565 |
Parent::notifier(Edge()).build(); |
566 | 566 |
Parent::notifier(Arc()).build(); |
567 | 567 |
} |
568 | 568 |
|
569 | 569 |
/// \brief Returns the node with the given index. |
570 | 570 |
/// |
571 | 571 |
/// Returns the node with the given index. Since it is a static |
572 | 572 |
/// graph its nodes can be indexed with integers from the range |
573 | 573 |
/// <tt>[0..nodeNum()-1]</tt>. |
574 | 574 |
/// \sa index() |
575 | 575 |
Node operator()(int ix) const { return Parent::operator()(ix); } |
576 | 576 |
|
577 | 577 |
/// \brief Returns the index of the given node. |
578 | 578 |
/// |
579 | 579 |
/// Returns the index of the given node. Since it is a static |
580 | 580 |
/// graph its nodes can be indexed with integers from the range |
581 | 581 |
/// <tt>[0..nodeNum()-1]</tt>. |
582 | 582 |
/// \sa operator() |
583 |
int index(const Node& node) |
|
583 |
static int index(const Node& node) { return Parent::index(node); } |
|
584 | 584 |
|
585 | 585 |
/// \brief Returns the arc connecting the given nodes. |
586 | 586 |
/// |
587 | 587 |
/// Returns the arc connecting the given nodes. |
588 | 588 |
Arc arc(const Node& s, const Node& t) const { |
589 | 589 |
return Parent::arc(s, t); |
590 | 590 |
} |
591 | 591 |
|
592 | 592 |
/// \brief Returns the edge connects the given nodes. |
593 | 593 |
/// |
594 | 594 |
/// Returns the edge connects the given nodes. |
595 | 595 |
Edge edge(const Node& u, const Node& v) const { |
596 | 596 |
return Parent::edge(u, v); |
597 | 597 |
} |
598 | 598 |
|
599 | 599 |
/// \brief Number of nodes. |
600 | 600 |
int nodeNum() const { return Parent::nodeNum(); } |
601 | 601 |
/// \brief Number of arcs. |
602 | 602 |
int arcNum() const { return Parent::arcNum(); } |
603 | 603 |
/// \brief Number of edges. |
604 | 604 |
int edgeNum() const { return Parent::edgeNum(); } |
605 | 605 |
|
606 | 606 |
}; |
607 | 607 |
... | ... |
@@ -241,49 +241,49 @@ |
241 | 241 |
static bool direction(Arc arc) { |
242 | 242 |
return (arc._id & 1) == 1; |
243 | 243 |
} |
244 | 244 |
|
245 | 245 |
static Arc direct(Edge edge, bool dir) { |
246 | 246 |
return Arc((edge._id << 1) | (dir ? 1 : 0)); |
247 | 247 |
} |
248 | 248 |
|
249 | 249 |
int dimension() const { |
250 | 250 |
return _dim; |
251 | 251 |
} |
252 | 252 |
|
253 | 253 |
bool projection(Node node, int n) const { |
254 | 254 |
return static_cast<bool>(node._id & (1 << n)); |
255 | 255 |
} |
256 | 256 |
|
257 | 257 |
int dimension(Edge edge) const { |
258 | 258 |
return edge._id >> (_dim-1); |
259 | 259 |
} |
260 | 260 |
|
261 | 261 |
int dimension(Arc arc) const { |
262 | 262 |
return arc._id >> _dim; |
263 | 263 |
} |
264 | 264 |
|
265 |
int index(Node node) |
|
265 |
static int index(Node node) { |
|
266 | 266 |
return node._id; |
267 | 267 |
} |
268 | 268 |
|
269 | 269 |
Node operator()(int ix) const { |
270 | 270 |
return Node(ix); |
271 | 271 |
} |
272 | 272 |
|
273 | 273 |
private: |
274 | 274 |
int _dim; |
275 | 275 |
int _node_num, _edge_num; |
276 | 276 |
}; |
277 | 277 |
|
278 | 278 |
|
279 | 279 |
typedef GraphExtender<HypercubeGraphBase> ExtendedHypercubeGraphBase; |
280 | 280 |
|
281 | 281 |
/// \ingroup graphs |
282 | 282 |
/// |
283 | 283 |
/// \brief Hypercube graph class |
284 | 284 |
/// |
285 | 285 |
/// This class implements a special graph type. The nodes of the graph |
286 | 286 |
/// are indiced with integers with at most \c dim binary digits. |
287 | 287 |
/// Two nodes are connected in the graph if and only if their indices |
288 | 288 |
/// differ only on one position in the binary form. |
289 | 289 |
/// |
... | ... |
@@ -316,49 +316,49 @@ |
316 | 316 |
bool projection(Node node, int n) const { |
317 | 317 |
return Parent::projection(node, n); |
318 | 318 |
} |
319 | 319 |
|
320 | 320 |
/// \brief The dimension id of an edge. |
321 | 321 |
/// |
322 | 322 |
/// Gives back the dimension id of the given edge. |
323 | 323 |
/// It is in the [0..dim-1] range. |
324 | 324 |
int dimension(Edge edge) const { |
325 | 325 |
return Parent::dimension(edge); |
326 | 326 |
} |
327 | 327 |
|
328 | 328 |
/// \brief The dimension id of an arc. |
329 | 329 |
/// |
330 | 330 |
/// Gives back the dimension id of the given arc. |
331 | 331 |
/// It is in the [0..dim-1] range. |
332 | 332 |
int dimension(Arc arc) const { |
333 | 333 |
return Parent::dimension(arc); |
334 | 334 |
} |
335 | 335 |
|
336 | 336 |
/// \brief The index of a node. |
337 | 337 |
/// |
338 | 338 |
/// Gives back the index of the given node. |
339 | 339 |
/// The lower bits of the integer describes the node. |
340 |
int index(Node node) |
|
340 |
static int index(Node node) { |
|
341 | 341 |
return Parent::index(node); |
342 | 342 |
} |
343 | 343 |
|
344 | 344 |
/// \brief Gives back a node by its index. |
345 | 345 |
/// |
346 | 346 |
/// Gives back a node by its index. |
347 | 347 |
Node operator()(int ix) const { |
348 | 348 |
return Parent::operator()(ix); |
349 | 349 |
} |
350 | 350 |
|
351 | 351 |
/// \brief Number of nodes. |
352 | 352 |
int nodeNum() const { return Parent::nodeNum(); } |
353 | 353 |
/// \brief Number of edges. |
354 | 354 |
int edgeNum() const { return Parent::edgeNum(); } |
355 | 355 |
/// \brief Number of arcs. |
356 | 356 |
int arcNum() const { return Parent::arcNum(); } |
357 | 357 |
|
358 | 358 |
/// \brief Linear combination map. |
359 | 359 |
/// |
360 | 360 |
/// This map makes possible to give back a linear combination |
361 | 361 |
/// for each node. It works like the \c std::accumulate function, |
362 | 362 |
/// so it accumulates the \c bf binary function with the \c fv first |
363 | 363 |
/// value. The map accumulates only on that positions (dimensions) |
364 | 364 |
/// where the index of the node is one. The values that have to be |
... | ... |
@@ -487,65 +487,65 @@ |
487 | 487 |
int arcNum() const { return arcs.size(); } |
488 | 488 |
|
489 | 489 |
int maxNodeId() const { return nodes.size()-1; } |
490 | 490 |
int maxEdgeId() const { return arcs.size() / 2 - 1; } |
491 | 491 |
int maxArcId() const { return arcs.size()-1; } |
492 | 492 |
|
493 | 493 |
Node source(Arc e) const { return Node(arcs[e._id ^ 1].target); } |
494 | 494 |
Node target(Arc e) const { return Node(arcs[e._id].target); } |
495 | 495 |
|
496 | 496 |
Node u(Edge e) const { return Node(arcs[2 * e._id].target); } |
497 | 497 |
Node v(Edge e) const { return Node(arcs[2 * e._id + 1].target); } |
498 | 498 |
|
499 | 499 |
static bool direction(Arc e) { |
500 | 500 |
return (e._id & 1) == 1; |
501 | 501 |
} |
502 | 502 |
|
503 | 503 |
static Arc direct(Edge e, bool d) { |
504 | 504 |
return Arc(e._id * 2 + (d ? 1 : 0)); |
505 | 505 |
} |
506 | 506 |
|
507 | 507 |
void first(Node& node) const { |
508 | 508 |
node._id = nodes.size() - 1; |
509 | 509 |
} |
510 | 510 |
|
511 |
void next(Node& node) |
|
511 |
static void next(Node& node) { |
|
512 | 512 |
--node._id; |
513 | 513 |
} |
514 | 514 |
|
515 | 515 |
void first(Arc& arc) const { |
516 | 516 |
arc._id = arcs.size() - 1; |
517 | 517 |
} |
518 | 518 |
|
519 |
void next(Arc& arc) |
|
519 |
static void next(Arc& arc) { |
|
520 | 520 |
--arc._id; |
521 | 521 |
} |
522 | 522 |
|
523 | 523 |
void first(Edge& arc) const { |
524 | 524 |
arc._id = arcs.size() / 2 - 1; |
525 | 525 |
} |
526 | 526 |
|
527 |
void next(Edge& arc) |
|
527 |
static void next(Edge& arc) { |
|
528 | 528 |
--arc._id; |
529 | 529 |
} |
530 | 530 |
|
531 | 531 |
void firstOut(Arc &arc, const Node& v) const { |
532 | 532 |
arc._id = nodes[v._id].first_out; |
533 | 533 |
} |
534 | 534 |
void nextOut(Arc &arc) const { |
535 | 535 |
arc._id = arcs[arc._id].next_out; |
536 | 536 |
} |
537 | 537 |
|
538 | 538 |
void firstIn(Arc &arc, const Node& v) const { |
539 | 539 |
arc._id = ((nodes[v._id].first_out) ^ 1); |
540 | 540 |
if (arc._id == -2) arc._id = -1; |
541 | 541 |
} |
542 | 542 |
void nextIn(Arc &arc) const { |
543 | 543 |
arc._id = ((arcs[arc._id ^ 1].next_out) ^ 1); |
544 | 544 |
if (arc._id == -2) arc._id = -1; |
545 | 545 |
} |
546 | 546 |
|
547 | 547 |
void firstInc(Edge &arc, bool& d, const Node& v) const { |
548 | 548 |
int de = nodes[v._id].first_out; |
549 | 549 |
if (de != -1) { |
550 | 550 |
arc._id = de / 2; |
551 | 551 |
d = ((de & 1) == 1); |
... | ... |
@@ -71,54 +71,54 @@ |
71 | 71 |
Arc (Invalid) : id(-1) {} |
72 | 72 |
bool operator==(const Arc& arc) const { return id == arc.id; } |
73 | 73 |
bool operator!=(const Arc& arc) const { return id != arc.id; } |
74 | 74 |
bool operator<(const Arc& arc) const { return id < arc.id; } |
75 | 75 |
}; |
76 | 76 |
|
77 | 77 |
Node source(const Arc& e) const { return Node(arc_source[e.id]); } |
78 | 78 |
Node target(const Arc& e) const { return Node(arc_target[e.id]); } |
79 | 79 |
|
80 | 80 |
void first(Node& n) const { n.id = node_num - 1; } |
81 | 81 |
static void next(Node& n) { --n.id; } |
82 | 82 |
|
83 | 83 |
void first(Arc& e) const { e.id = arc_num - 1; } |
84 | 84 |
static void next(Arc& e) { --e.id; } |
85 | 85 |
|
86 | 86 |
void firstOut(Arc& e, const Node& n) const { |
87 | 87 |
e.id = node_first_out[n.id] != node_first_out[n.id + 1] ? |
88 | 88 |
node_first_out[n.id] : -1; |
89 | 89 |
} |
90 | 90 |
void nextOut(Arc& e) const { e.id = arc_next_out[e.id]; } |
91 | 91 |
|
92 | 92 |
void firstIn(Arc& e, const Node& n) const { e.id = node_first_in[n.id]; } |
93 | 93 |
void nextIn(Arc& e) const { e.id = arc_next_in[e.id]; } |
94 | 94 |
|
95 |
int id(const Node& n) const { return n.id; } |
|
96 |
Node nodeFromId(int id) const { return Node(id); } |
|
95 |
static int id(const Node& n) { return n.id; } |
|
96 |
static Node nodeFromId(int id) { return Node(id); } |
|
97 | 97 |
int maxNodeId() const { return node_num - 1; } |
98 | 98 |
|
99 |
int id(const Arc& e) const { return e.id; } |
|
100 |
Arc arcFromId(int id) const { return Arc(id); } |
|
99 |
static int id(const Arc& e) { return e.id; } |
|
100 |
static Arc arcFromId(int id) { return Arc(id); } |
|
101 | 101 |
int maxArcId() const { return arc_num - 1; } |
102 | 102 |
|
103 | 103 |
typedef True NodeNumTag; |
104 | 104 |
typedef True ArcNumTag; |
105 | 105 |
|
106 | 106 |
int nodeNum() const { return node_num; } |
107 | 107 |
int arcNum() const { return arc_num; } |
108 | 108 |
|
109 | 109 |
private: |
110 | 110 |
|
111 | 111 |
template <typename Digraph, typename NodeRefMap> |
112 | 112 |
class ArcLess { |
113 | 113 |
public: |
114 | 114 |
typedef typename Digraph::Arc Arc; |
115 | 115 |
|
116 | 116 |
ArcLess(const Digraph &_graph, const NodeRefMap& _nodeRef) |
117 | 117 |
: digraph(_graph), nodeRef(_nodeRef) {} |
118 | 118 |
|
119 | 119 |
bool operator()(const Arc& left, const Arc& right) const { |
120 | 120 |
return nodeRef[digraph.target(left)] < nodeRef[digraph.target(right)]; |
121 | 121 |
} |
122 | 122 |
private: |
123 | 123 |
const Digraph& digraph; |
124 | 124 |
const NodeRefMap& nodeRef; |
... | ... |
@@ -247,67 +247,67 @@ |
247 | 247 |
/// "id()" function. A node or arc with a certain index can be obtained |
248 | 248 |
/// using node() or arc(). |
249 | 249 |
/// |
250 | 250 |
/// This type fully conforms to the \ref concepts::Digraph "Digraph concept". |
251 | 251 |
/// Most of its member functions and nested classes are documented |
252 | 252 |
/// only in the concept class. |
253 | 253 |
/// |
254 | 254 |
/// \sa concepts::Digraph |
255 | 255 |
class StaticDigraph : public ExtendedStaticDigraphBase { |
256 | 256 |
public: |
257 | 257 |
|
258 | 258 |
typedef ExtendedStaticDigraphBase Parent; |
259 | 259 |
|
260 | 260 |
public: |
261 | 261 |
|
262 | 262 |
/// \brief Constructor |
263 | 263 |
/// |
264 | 264 |
/// Default constructor. |
265 | 265 |
StaticDigraph() : Parent() {} |
266 | 266 |
|
267 | 267 |
/// \brief The node with the given index. |
268 | 268 |
/// |
269 | 269 |
/// This function returns the node with the given index. |
270 | 270 |
/// \sa index() |
271 |
Node node(int ix) |
|
271 |
static Node node(int ix) { return Parent::nodeFromId(ix); } |
|
272 | 272 |
|
273 | 273 |
/// \brief The arc with the given index. |
274 | 274 |
/// |
275 | 275 |
/// This function returns the arc with the given index. |
276 | 276 |
/// \sa index() |
277 |
Arc arc(int ix) |
|
277 |
static Arc arc(int ix) { return Parent::arcFromId(ix); } |
|
278 | 278 |
|
279 | 279 |
/// \brief The index of the given node. |
280 | 280 |
/// |
281 | 281 |
/// This function returns the index of the the given node. |
282 | 282 |
/// \sa node() |
283 |
int index(Node node) |
|
283 |
static int index(Node node) { return Parent::id(node); } |
|
284 | 284 |
|
285 | 285 |
/// \brief The index of the given arc. |
286 | 286 |
/// |
287 | 287 |
/// This function returns the index of the the given arc. |
288 | 288 |
/// \sa arc() |
289 |
int index(Arc arc) |
|
289 |
static int index(Arc arc) { return Parent::id(arc); } |
|
290 | 290 |
|
291 | 291 |
/// \brief Number of nodes. |
292 | 292 |
/// |
293 | 293 |
/// This function returns the number of nodes. |
294 | 294 |
int nodeNum() const { return node_num; } |
295 | 295 |
|
296 | 296 |
/// \brief Number of arcs. |
297 | 297 |
/// |
298 | 298 |
/// This function returns the number of arcs. |
299 | 299 |
int arcNum() const { return arc_num; } |
300 | 300 |
|
301 | 301 |
/// \brief Build the digraph copying another digraph. |
302 | 302 |
/// |
303 | 303 |
/// This function builds the digraph copying another digraph of any |
304 | 304 |
/// kind. It can be called more than once, but in such case, the whole |
305 | 305 |
/// structure and all maps will be cleared and rebuilt. |
306 | 306 |
/// |
307 | 307 |
/// This method also makes possible to copy a digraph to a StaticDigraph |
308 | 308 |
/// structure using \ref DigraphCopy. |
309 | 309 |
/// |
310 | 310 |
/// \param digraph An existing digraph to be copied. |
311 | 311 |
/// \param nodeRef The node references will be copied into this map. |
312 | 312 |
/// Its key type must be \c Digraph::Node and its value type must be |
313 | 313 |
/// \c StaticDigraph::Node. |
0 comments (0 inline)