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)