0
13
0
70
48
59
62
55
60
60
60
2
9
143
75
12
5
231
2
... | ... |
@@ -282,2 +282,24 @@ |
282 | 282 |
/** |
283 |
@defgroup geomdat Geometric Data Structures |
|
284 |
@ingroup auxdat |
|
285 |
\brief Geometric data structures implemented in LEMON. |
|
286 |
|
|
287 |
This group contains geometric data structures implemented in LEMON. |
|
288 |
|
|
289 |
- \ref lemon::dim2::Point "dim2::Point" implements a two dimensional |
|
290 |
vector with the usual operations. |
|
291 |
- \ref lemon::dim2::Box "dim2::Box" can be used to determine the |
|
292 |
rectangular bounding box of a set of \ref lemon::dim2::Point |
|
293 |
"dim2::Point"'s. |
|
294 |
*/ |
|
295 |
|
|
296 |
/** |
|
297 |
@defgroup matrices Matrices |
|
298 |
@ingroup auxdat |
|
299 |
\brief Two dimensional data storages implemented in LEMON. |
|
300 |
|
|
301 |
This group contains two dimensional data storages implemented in LEMON. |
|
302 |
*/ |
|
303 |
|
|
304 |
/** |
|
283 | 305 |
@defgroup algs Algorithms |
... | ... |
@@ -321,2 +343,11 @@ |
321 | 343 |
/** |
344 |
@defgroup spantree Minimum Spanning Tree Algorithms |
|
345 |
@ingroup algs |
|
346 |
\brief Algorithms for finding minimum cost spanning trees and arborescences. |
|
347 |
|
|
348 |
This group contains the algorithms for finding minimum cost spanning |
|
349 |
trees and arborescences. |
|
350 |
*/ |
|
351 |
|
|
352 |
/** |
|
322 | 353 |
@defgroup max_flow Maximum Flow Algorithms |
... | ... |
@@ -398,3 +429,3 @@ |
398 | 429 |
\f[ \min_{X \subset V, X\not\in \{\emptyset, V\}} |
399 |
\sum_{uv\in A |
|
430 |
\sum_{uv\in A: u\in X, v\not\in X}cap(uv) \f] |
|
400 | 431 |
|
... | ... |
@@ -414,26 +445,2 @@ |
414 | 445 |
/** |
415 |
@defgroup graph_properties Connectivity and Other Graph Properties |
|
416 |
@ingroup algs |
|
417 |
\brief Algorithms for discovering the graph properties |
|
418 |
|
|
419 |
This group contains the algorithms for discovering the graph properties |
|
420 |
like connectivity, bipartiteness, euler property, simplicity etc. |
|
421 |
|
|
422 |
\image html edge_biconnected_components.png |
|
423 |
\image latex edge_biconnected_components.eps "bi-edge-connected components" width=\textwidth |
|
424 |
*/ |
|
425 |
|
|
426 |
/** |
|
427 |
@defgroup planar Planarity Embedding and Drawing |
|
428 |
@ingroup algs |
|
429 |
\brief Algorithms for planarity checking, embedding and drawing |
|
430 |
|
|
431 |
This group contains the algorithms for planarity checking, |
|
432 |
embedding and drawing. |
|
433 |
|
|
434 |
\image html planar.png |
|
435 |
\image latex planar.eps "Plane graph" width=\textwidth |
|
436 |
*/ |
|
437 |
|
|
438 |
/** |
|
439 | 446 |
@defgroup matching Matching Algorithms |
... | ... |
@@ -478,8 +485,32 @@ |
478 | 485 |
/** |
479 |
@defgroup |
|
486 |
@defgroup graph_properties Connectivity and Other Graph Properties |
|
480 | 487 |
@ingroup algs |
481 |
\brief Algorithms for |
|
488 |
\brief Algorithms for discovering the graph properties |
|
482 | 489 |
|
483 |
This group contains the algorithms for finding minimum cost spanning |
|
484 |
trees and arborescences. |
|
490 |
This group contains the algorithms for discovering the graph properties |
|
491 |
like connectivity, bipartiteness, euler property, simplicity etc. |
|
492 |
|
|
493 |
\image html connected_components.png |
|
494 |
\image latex connected_components.eps "Connected components" width=\textwidth |
|
495 |
*/ |
|
496 |
|
|
497 |
/** |
|
498 |
@defgroup planar Planarity Embedding and Drawing |
|
499 |
@ingroup algs |
|
500 |
\brief Algorithms for planarity checking, embedding and drawing |
|
501 |
|
|
502 |
This group contains the algorithms for planarity checking, |
|
503 |
embedding and drawing. |
|
504 |
|
|
505 |
\image html planar.png |
|
506 |
\image latex planar.eps "Plane graph" width=\textwidth |
|
507 |
*/ |
|
508 |
|
|
509 |
/** |
|
510 |
@defgroup approx Approximation Algorithms |
|
511 |
@ingroup algs |
|
512 |
\brief Approximation algorithms. |
|
513 |
|
|
514 |
This group contains the approximation and heuristic algorithms |
|
515 |
implemented in LEMON. |
|
485 | 516 |
*/ |
... | ... |
@@ -496,11 +527,2 @@ |
496 | 527 |
/** |
497 |
@defgroup approx Approximation Algorithms |
|
498 |
@ingroup algs |
|
499 |
\brief Approximation algorithms. |
|
500 |
|
|
501 |
This group contains the approximation and heuristic algorithms |
|
502 |
implemented in LEMON. |
|
503 |
*/ |
|
504 |
|
|
505 |
/** |
|
506 | 528 |
@defgroup gen_opt_group General Optimization Tools |
... | ... |
@@ -610,3 +632,3 @@ |
610 | 632 |
/** |
611 |
@defgroup dimacs_group DIMACS |
|
633 |
@defgroup dimacs_group DIMACS Format |
|
612 | 634 |
@ingroup io_group |
... | ... |
@@ -672,2 +694,11 @@ |
672 | 694 |
/** |
695 |
@defgroup tools Standalone Utility Applications |
|
696 |
|
|
697 |
Some utility applications are listed here. |
|
698 |
|
|
699 |
The standard compilation procedure (<tt>./configure;make</tt>) will compile |
|
700 |
them, as well. |
|
701 |
*/ |
|
702 |
|
|
703 |
/** |
|
673 | 704 |
\anchor demoprograms |
... | ... |
@@ -683,11 +714,2 @@ |
683 | 714 |
|
684 |
/** |
|
685 |
@defgroup tools Standalone Utility Applications |
|
686 |
|
|
687 |
Some utility applications are listed here. |
|
688 |
|
|
689 |
The standard compilation procedure (<tt>./configure;make</tt>) will compile |
|
690 |
them, as well. |
|
691 |
*/ |
|
692 |
|
|
693 | 715 |
} |
... | ... |
@@ -49,3 +49,3 @@ |
49 | 49 |
///arcs of the shortest paths. |
50 |
///It must |
|
50 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
51 | 51 |
typedef typename Digraph::template NodeMap<typename Digraph::Arc> PredMap; |
... | ... |
@@ -64,3 +64,4 @@ |
64 | 64 |
///The type of the map that indicates which nodes are processed. |
65 |
///It must |
|
65 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
66 |
///By default it is a NullMap. |
|
66 | 67 |
typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
... | ... |
@@ -83,3 +84,3 @@ |
83 | 84 |
///The type of the map that indicates which nodes are reached. |
84 |
///It must |
|
85 |
///It must conform to the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
85 | 86 |
typedef typename Digraph::template NodeMap<bool> ReachedMap; |
... | ... |
@@ -98,3 +99,3 @@ |
98 | 99 |
///The type of the map that stores the distances of the nodes. |
99 |
///It must |
|
100 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
100 | 101 |
typedef typename Digraph::template NodeMap<int> DistMap; |
... | ... |
@@ -227,3 +228,3 @@ |
227 | 228 |
///\c PredMap type. |
228 |
///It must |
|
229 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
229 | 230 |
template <class T> |
... | ... |
@@ -247,3 +248,3 @@ |
247 | 248 |
///\c DistMap type. |
248 |
///It must |
|
249 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
249 | 250 |
template <class T> |
... | ... |
@@ -267,3 +268,3 @@ |
267 | 268 |
///\c ReachedMap type. |
268 |
///It must |
|
269 |
///It must conform to the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
269 | 270 |
template <class T> |
... | ... |
@@ -287,3 +288,3 @@ |
287 | 288 |
///\c ProcessedMap type. |
288 |
///It must |
|
289 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
289 | 290 |
template <class T> |
... | ... |
@@ -415,4 +416,4 @@ |
415 | 416 |
///member functions called \ref run(Node) "run()".\n |
416 |
///If you need more control on the execution, first you have to call |
|
417 |
///\ref init(), then you can add several source nodes with |
|
417 |
///If you need better control on the execution, you have to call |
|
418 |
///\ref init() first, then you can add several source nodes with |
|
418 | 419 |
///\ref addSource(). Finally the actual path computation can be |
... | ... |
@@ -739,5 +740,5 @@ |
739 | 740 |
|
740 |
///The shortest path to |
|
741 |
///The shortest path to the given node. |
|
741 | 742 |
|
742 |
///Returns the shortest path to |
|
743 |
///Returns the shortest path to the given node from the root(s). |
|
743 | 744 |
/// |
... | ... |
@@ -749,5 +750,5 @@ |
749 | 750 |
|
750 |
///The distance of |
|
751 |
///The distance of the given node from the root(s). |
|
751 | 752 |
|
752 |
///Returns the distance of |
|
753 |
///Returns the distance of the given node from the root(s). |
|
753 | 754 |
/// |
... | ... |
@@ -760,4 +761,5 @@ |
760 | 761 |
|
761 |
///Returns the 'previous arc' of the shortest path tree for a node. |
|
762 |
|
|
762 |
///\brief Returns the 'previous arc' of the shortest path tree for |
|
763 |
///the given node. |
|
764 |
/// |
|
763 | 765 |
///This function returns the 'previous arc' of the shortest path |
... | ... |
@@ -768,3 +770,3 @@ |
768 | 770 |
///The shortest path tree used here is equal to the shortest path |
769 |
///tree used in \ref predNode(). |
|
771 |
///tree used in \ref predNode() and \ref predMap(). |
|
770 | 772 |
/// |
... | ... |
@@ -774,7 +776,8 @@ |
774 | 776 |
|
775 |
///Returns the 'previous node' of the shortest path tree for a node. |
|
776 |
|
|
777 |
///\brief Returns the 'previous node' of the shortest path tree for |
|
778 |
///the given node. |
|
779 |
/// |
|
777 | 780 |
///This function returns the 'previous node' of the shortest path |
778 | 781 |
///tree for the node \c v, i.e. it returns the last but one node |
779 |
/// |
|
782 |
///of a shortest path from a root to \c v. It is \c INVALID |
|
780 | 783 |
///if \c v is not reached from the root(s) or if \c v is a root. |
... | ... |
@@ -782,3 +785,3 @@ |
782 | 785 |
///The shortest path tree used here is equal to the shortest path |
783 |
///tree used in \ref predArc(). |
|
786 |
///tree used in \ref predArc() and \ref predMap(). |
|
784 | 787 |
/// |
... | ... |
@@ -803,3 +806,3 @@ |
803 | 806 |
///Returns a const reference to the node map that stores the predecessor |
804 |
///arcs, which form the shortest path tree. |
|
807 |
///arcs, which form the shortest path tree (forest). |
|
805 | 808 |
/// |
... | ... |
@@ -809,3 +812,3 @@ |
809 | 812 |
|
810 |
///Checks if |
|
813 |
///Checks if the given node is reached from the root(s). |
|
811 | 814 |
|
... | ... |
@@ -835,3 +838,3 @@ |
835 | 838 |
///arcs of the shortest paths. |
836 |
///It must |
|
839 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
837 | 840 |
typedef typename Digraph::template NodeMap<typename Digraph::Arc> PredMap; |
... | ... |
@@ -850,3 +853,3 @@ |
850 | 853 |
///The type of the map that indicates which nodes are processed. |
851 |
///It must |
|
854 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
852 | 855 |
///By default it is a NullMap. |
... | ... |
@@ -870,3 +873,3 @@ |
870 | 873 |
///The type of the map that indicates which nodes are reached. |
871 |
///It must |
|
874 |
///It must conform to the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
872 | 875 |
typedef typename Digraph::template NodeMap<bool> ReachedMap; |
... | ... |
@@ -885,3 +888,3 @@ |
885 | 888 |
///The type of the map that stores the distances of the nodes. |
886 |
///It must |
|
889 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
887 | 890 |
typedef typename Digraph::template NodeMap<int> DistMap; |
... | ... |
@@ -900,3 +903,3 @@ |
900 | 903 |
///The type of the shortest paths. |
901 |
///It must |
|
904 |
///It must conform to the \ref concepts::Path "Path" concept. |
|
902 | 905 |
typedef lemon::Path<Digraph> Path; |
... | ... |
@@ -906,8 +909,4 @@ |
906 | 909 |
|
907 |
/// To make it easier to use Bfs algorithm |
|
908 |
/// we have created a wizard class. |
|
909 |
/// This \ref BfsWizard class needs default traits, |
|
910 |
/// as well as the \ref Bfs class. |
|
911 |
/// The \ref BfsWizardBase is a class to be the default traits of the |
|
912 |
/// \ref BfsWizard class. |
|
910 |
/// Default traits class used by BfsWizard. |
|
911 |
/// \tparam GR The type of the digraph. |
|
913 | 912 |
template<class GR> |
... | ... |
@@ -939,3 +938,3 @@ |
939 | 938 |
|
940 |
/// This constructor does not require parameters, |
|
939 |
/// This constructor does not require parameters, it initiates |
|
941 | 940 |
/// all of the attributes to \c 0. |
... | ... |
@@ -969,3 +968,2 @@ |
969 | 968 |
|
970 |
///The type of the digraph the algorithm runs on. |
|
971 | 969 |
typedef typename TR::Digraph Digraph; |
... | ... |
@@ -977,12 +975,6 @@ |
977 | 975 |
|
978 |
///\brief The type of the map that stores the predecessor |
|
979 |
///arcs of the shortest paths. |
|
980 | 976 |
typedef typename TR::PredMap PredMap; |
981 |
///\brief The type of the map that stores the distances of the nodes. |
|
982 | 977 |
typedef typename TR::DistMap DistMap; |
983 |
///\brief The type of the map that indicates which nodes are reached. |
|
984 | 978 |
typedef typename TR::ReachedMap ReachedMap; |
985 |
///\brief The type of the map that indicates which nodes are processed. |
|
986 | 979 |
typedef typename TR::ProcessedMap ProcessedMap; |
987 |
///The type of the shortest paths |
|
988 | 980 |
typedef typename TR::Path Path; |
... | ... |
@@ -1069,7 +1061,8 @@ |
1069 | 1061 |
}; |
1070 |
///\brief \ref named-func-param "Named parameter" |
|
1071 |
///for setting PredMap object. |
|
1062 |
|
|
1063 |
///\brief \ref named-templ-param "Named parameter" for setting |
|
1064 |
///the predecessor map. |
|
1072 | 1065 |
/// |
1073 |
///\ref named-func-param "Named parameter" |
|
1074 |
///for setting PredMap object. |
|
1066 |
///\ref named-templ-param "Named parameter" function for setting |
|
1067 |
///the map that stores the predecessor arcs of the nodes. |
|
1075 | 1068 |
template<class T> |
... | ... |
@@ -1087,7 +1080,8 @@ |
1087 | 1080 |
}; |
1088 |
///\brief \ref named-func-param "Named parameter" |
|
1089 |
///for setting ReachedMap object. |
|
1081 |
|
|
1082 |
///\brief \ref named-templ-param "Named parameter" for setting |
|
1083 |
///the reached map. |
|
1090 | 1084 |
/// |
1091 |
/// \ref named-func-param "Named parameter" |
|
1092 |
///for setting ReachedMap object. |
|
1085 |
///\ref named-templ-param "Named parameter" function for setting |
|
1086 |
///the map that indicates which nodes are reached. |
|
1093 | 1087 |
template<class T> |
... | ... |
@@ -1105,7 +1099,9 @@ |
1105 | 1099 |
}; |
1106 |
///\brief \ref named-func-param "Named parameter" |
|
1107 |
///for setting DistMap object. |
|
1100 |
|
|
1101 |
///\brief \ref named-templ-param "Named parameter" for setting |
|
1102 |
///the distance map. |
|
1108 | 1103 |
/// |
1109 |
/// \ref named-func-param "Named parameter" |
|
1110 |
///for setting DistMap object. |
|
1104 |
///\ref named-templ-param "Named parameter" function for setting |
|
1105 |
///the map that stores the distances of the nodes calculated |
|
1106 |
///by the algorithm. |
|
1111 | 1107 |
template<class T> |
... | ... |
@@ -1123,7 +1119,8 @@ |
1123 | 1119 |
}; |
1124 |
///\brief \ref named-func-param "Named parameter" |
|
1125 |
///for setting ProcessedMap object. |
|
1120 |
|
|
1121 |
///\brief \ref named-func-param "Named parameter" for setting |
|
1122 |
///the processed map. |
|
1126 | 1123 |
/// |
1127 |
/// \ref named-func-param "Named parameter" |
|
1128 |
///for setting ProcessedMap object. |
|
1124 |
///\ref named-templ-param "Named parameter" function for setting |
|
1125 |
///the map that indicates which nodes are processed. |
|
1129 | 1126 |
template<class T> |
... | ... |
@@ -1266,3 +1263,3 @@ |
1266 | 1263 |
/// The type of the map that indicates which nodes are reached. |
1267 |
/// It must |
|
1264 |
/// It must conform to the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
1268 | 1265 |
typedef typename Digraph::template NodeMap<bool> ReachedMap; |
... | ... |
@@ -1427,4 +1424,4 @@ |
1427 | 1424 |
/// member functions called \ref run(Node) "run()".\n |
1428 |
/// If you need more control on the execution, first you have to call |
|
1429 |
/// \ref init(), then you can add several source nodes with |
|
1425 |
/// If you need better control on the execution, you have to call |
|
1426 |
/// \ref init() first, then you can add several source nodes with |
|
1430 | 1427 |
/// \ref addSource(). Finally the actual path computation can be |
... | ... |
@@ -1737,3 +1734,3 @@ |
1737 | 1734 |
|
1738 |
/// \brief Checks if |
|
1735 |
/// \brief Checks if the given node is reached from the root(s). |
|
1739 | 1736 |
/// |
... | ... |
@@ -74,3 +74,7 @@ |
74 | 74 |
/// concept. |
75 |
#ifdef DOXYGEN |
|
76 |
typedef GR::ArcMap<Value> FlowMap; |
|
77 |
#else |
|
75 | 78 |
typedef typename Digraph::template ArcMap<Value> FlowMap; |
79 |
#endif |
|
76 | 80 |
|
... | ... |
@@ -89,5 +93,8 @@ |
89 | 93 |
/// |
90 |
/// \sa Elevator |
|
91 |
/// \sa LinkedElevator |
|
94 |
/// \sa Elevator, LinkedElevator |
|
95 |
#ifdef DOXYGEN |
|
96 |
typedef lemon::Elevator<GR, GR::Node> Elevator; |
|
97 |
#else |
|
92 | 98 |
typedef lemon::Elevator<Digraph, typename Digraph::Node> Elevator; |
99 |
#endif |
|
93 | 100 |
|
... | ... |
@@ -471,4 +478,4 @@ |
471 | 478 |
/// The simplest way to execute the algorithm is to call \ref run().\n |
472 |
/// If you need more control on the initial solution or the execution, |
|
473 |
/// first you have to call one of the \ref init() functions, then |
|
479 |
/// If you need better control on the initial solution or the execution, |
|
480 |
/// you have to call one of the \ref init() functions first, then |
|
474 | 481 |
/// the \ref start() function. |
... | ... |
@@ -49,3 +49,3 @@ |
49 | 49 |
///arcs of the %DFS paths. |
50 |
///It must |
|
50 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
51 | 51 |
typedef typename Digraph::template NodeMap<typename Digraph::Arc> PredMap; |
... | ... |
@@ -64,3 +64,4 @@ |
64 | 64 |
///The type of the map that indicates which nodes are processed. |
65 |
///It must |
|
65 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
66 |
///By default it is a NullMap. |
|
66 | 67 |
typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
... | ... |
@@ -83,3 +84,3 @@ |
83 | 84 |
///The type of the map that indicates which nodes are reached. |
84 |
///It must |
|
85 |
///It must conform to the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
85 | 86 |
typedef typename Digraph::template NodeMap<bool> ReachedMap; |
... | ... |
@@ -98,3 +99,3 @@ |
98 | 99 |
///The type of the map that stores the distances of the nodes. |
99 |
///It must |
|
100 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
100 | 101 |
typedef typename Digraph::template NodeMap<int> DistMap; |
... | ... |
@@ -226,3 +227,3 @@ |
226 | 227 |
///\c PredMap type. |
227 |
///It must |
|
228 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
228 | 229 |
template <class T> |
... | ... |
@@ -246,3 +247,3 @@ |
246 | 247 |
///\c DistMap type. |
247 |
///It must |
|
248 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
248 | 249 |
template <class T> |
... | ... |
@@ -266,3 +267,3 @@ |
266 | 267 |
///\c ReachedMap type. |
267 |
///It must |
|
268 |
///It must conform to the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
268 | 269 |
template <class T> |
... | ... |
@@ -286,3 +287,3 @@ |
286 | 287 |
///\c ProcessedMap type. |
287 |
///It must |
|
288 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
288 | 289 |
template <class T> |
... | ... |
@@ -413,4 +414,4 @@ |
413 | 414 |
///member functions called \ref run(Node) "run()".\n |
414 |
///If you need more control on the execution, first you have to call |
|
415 |
///\ref init(), then you can add a source node with \ref addSource() |
|
415 |
///If you need better control on the execution, you have to call |
|
416 |
///\ref init() first, then you can add a source node with \ref addSource() |
|
416 | 417 |
///and perform the actual computation with \ref start(). |
... | ... |
@@ -671,5 +672,5 @@ |
671 | 672 |
|
672 |
///The DFS path to |
|
673 |
///The DFS path to the given node. |
|
673 | 674 |
|
674 |
///Returns the DFS path to |
|
675 |
///Returns the DFS path to the given node from the root(s). |
|
675 | 676 |
/// |
... | ... |
@@ -681,5 +682,5 @@ |
681 | 682 |
|
682 |
///The distance of |
|
683 |
///The distance of the given node from the root(s). |
|
683 | 684 |
|
684 |
///Returns the distance of |
|
685 |
///Returns the distance of the given node from the root(s). |
|
685 | 686 |
/// |
... | ... |
@@ -692,3 +693,3 @@ |
692 | 693 |
|
693 |
///Returns the 'previous arc' of the %DFS tree for |
|
694 |
///Returns the 'previous arc' of the %DFS tree for the given node. |
|
694 | 695 |
|
... | ... |
@@ -700,3 +701,3 @@ |
700 | 701 |
///The %DFS tree used here is equal to the %DFS tree used in |
701 |
///\ref predNode(). |
|
702 |
///\ref predNode() and \ref predMap(). |
|
702 | 703 |
/// |
... | ... |
@@ -706,3 +707,3 @@ |
706 | 707 |
|
707 |
///Returns the 'previous node' of the %DFS tree. |
|
708 |
///Returns the 'previous node' of the %DFS tree for the given node. |
|
708 | 709 |
|
... | ... |
@@ -710,3 +711,3 @@ |
710 | 711 |
///tree for the node \c v, i.e. it returns the last but one node |
711 |
/// |
|
712 |
///of a %DFS path from a root to \c v. It is \c INVALID |
|
712 | 713 |
///if \c v is not reached from the root(s) or if \c v is a root. |
... | ... |
@@ -714,3 +715,3 @@ |
714 | 715 |
///The %DFS tree used here is equal to the %DFS tree used in |
715 |
///\ref predArc(). |
|
716 |
///\ref predArc() and \ref predMap(). |
|
716 | 717 |
/// |
... | ... |
@@ -735,3 +736,3 @@ |
735 | 736 |
///Returns a const reference to the node map that stores the predecessor |
736 |
///arcs, which form the DFS tree. |
|
737 |
///arcs, which form the DFS tree (forest). |
|
737 | 738 |
/// |
... | ... |
@@ -741,3 +742,3 @@ |
741 | 742 |
|
742 |
///Checks if |
|
743 |
///Checks if the given node. node is reached from the root(s). |
|
743 | 744 |
|
... | ... |
@@ -767,3 +768,3 @@ |
767 | 768 |
///arcs of the %DFS paths. |
768 |
///It must |
|
769 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
769 | 770 |
typedef typename Digraph::template NodeMap<typename Digraph::Arc> PredMap; |
... | ... |
@@ -782,3 +783,3 @@ |
782 | 783 |
///The type of the map that indicates which nodes are processed. |
783 |
///It must |
|
784 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
784 | 785 |
///By default it is a NullMap. |
... | ... |
@@ -802,3 +803,3 @@ |
802 | 803 |
///The type of the map that indicates which nodes are reached. |
803 |
///It must |
|
804 |
///It must conform to the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
804 | 805 |
typedef typename Digraph::template NodeMap<bool> ReachedMap; |
... | ... |
@@ -817,3 +818,3 @@ |
817 | 818 |
///The type of the map that stores the distances of the nodes. |
818 |
///It must |
|
819 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
819 | 820 |
typedef typename Digraph::template NodeMap<int> DistMap; |
... | ... |
@@ -832,3 +833,3 @@ |
832 | 833 |
///The type of the DFS paths. |
833 |
///It must |
|
834 |
///It must conform to the \ref concepts::Path "Path" concept. |
|
834 | 835 |
typedef lemon::Path<Digraph> Path; |
... | ... |
@@ -838,8 +839,4 @@ |
838 | 839 |
|
839 |
/// To make it easier to use Dfs algorithm |
|
840 |
/// we have created a wizard class. |
|
841 |
/// This \ref DfsWizard class needs default traits, |
|
842 |
/// as well as the \ref Dfs class. |
|
843 |
/// The \ref DfsWizardBase is a class to be the default traits of the |
|
844 |
/// \ref DfsWizard class. |
|
840 |
/// Default traits class used by DfsWizard. |
|
841 |
/// \tparam GR The type of the digraph. |
|
845 | 842 |
template<class GR> |
... | ... |
@@ -871,3 +868,3 @@ |
871 | 868 |
|
872 |
/// This constructor does not require parameters, |
|
869 |
/// This constructor does not require parameters, it initiates |
|
873 | 870 |
/// all of the attributes to \c 0. |
... | ... |
@@ -901,3 +898,2 @@ |
901 | 898 |
|
902 |
///The type of the digraph the algorithm runs on. |
|
903 | 899 |
typedef typename TR::Digraph Digraph; |
... | ... |
@@ -909,12 +905,6 @@ |
909 | 905 |
|
910 |
///\brief The type of the map that stores the predecessor |
|
911 |
///arcs of the DFS paths. |
|
912 | 906 |
typedef typename TR::PredMap PredMap; |
913 |
///\brief The type of the map that stores the distances of the nodes. |
|
914 | 907 |
typedef typename TR::DistMap DistMap; |
915 |
///\brief The type of the map that indicates which nodes are reached. |
|
916 | 908 |
typedef typename TR::ReachedMap ReachedMap; |
917 |
///\brief The type of the map that indicates which nodes are processed. |
|
918 | 909 |
typedef typename TR::ProcessedMap ProcessedMap; |
919 |
///The type of the DFS paths |
|
920 | 910 |
typedef typename TR::Path Path; |
... | ... |
@@ -1001,7 +991,8 @@ |
1001 | 991 |
}; |
1002 |
///\brief \ref named-func-param "Named parameter" |
|
1003 |
///for setting PredMap object. |
|
992 |
|
|
993 |
///\brief \ref named-templ-param "Named parameter" for setting |
|
994 |
///the predecessor map. |
|
1004 | 995 |
/// |
1005 |
///\ref named-func-param "Named parameter" |
|
1006 |
///for setting PredMap object. |
|
996 |
///\ref named-templ-param "Named parameter" function for setting |
|
997 |
///the map that stores the predecessor arcs of the nodes. |
|
1007 | 998 |
template<class T> |
... | ... |
@@ -1019,7 +1010,8 @@ |
1019 | 1010 |
}; |
1020 |
///\brief \ref named-func-param "Named parameter" |
|
1021 |
///for setting ReachedMap object. |
|
1011 |
|
|
1012 |
///\brief \ref named-templ-param "Named parameter" for setting |
|
1013 |
///the reached map. |
|
1022 | 1014 |
/// |
1023 |
/// \ref named-func-param "Named parameter" |
|
1024 |
///for setting ReachedMap object. |
|
1015 |
///\ref named-templ-param "Named parameter" function for setting |
|
1016 |
///the map that indicates which nodes are reached. |
|
1025 | 1017 |
template<class T> |
... | ... |
@@ -1037,7 +1029,9 @@ |
1037 | 1029 |
}; |
1038 |
///\brief \ref named-func-param "Named parameter" |
|
1039 |
///for setting DistMap object. |
|
1030 |
|
|
1031 |
///\brief \ref named-templ-param "Named parameter" for setting |
|
1032 |
///the distance map. |
|
1040 | 1033 |
/// |
1041 |
/// \ref named-func-param "Named parameter" |
|
1042 |
///for setting DistMap object. |
|
1034 |
///\ref named-templ-param "Named parameter" function for setting |
|
1035 |
///the map that stores the distances of the nodes calculated |
|
1036 |
///by the algorithm. |
|
1043 | 1037 |
template<class T> |
... | ... |
@@ -1055,7 +1049,8 @@ |
1055 | 1049 |
}; |
1056 |
///\brief \ref named-func-param "Named parameter" |
|
1057 |
///for setting ProcessedMap object. |
|
1050 |
|
|
1051 |
///\brief \ref named-func-param "Named parameter" for setting |
|
1052 |
///the processed map. |
|
1058 | 1053 |
/// |
1059 |
/// \ref named-func-param "Named parameter" |
|
1060 |
///for setting ProcessedMap object. |
|
1054 |
///\ref named-templ-param "Named parameter" function for setting |
|
1055 |
///the map that indicates which nodes are processed. |
|
1061 | 1056 |
template<class T> |
... | ... |
@@ -1210,3 +1205,3 @@ |
1210 | 1205 |
/// The type of the map that indicates which nodes are reached. |
1211 |
/// It must |
|
1206 |
/// It must conform to the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
1212 | 1207 |
typedef typename Digraph::template NodeMap<bool> ReachedMap; |
... | ... |
@@ -1371,4 +1366,4 @@ |
1371 | 1366 |
/// member functions called \ref run(Node) "run()".\n |
1372 |
/// If you need more control on the execution, first you have to call |
|
1373 |
/// \ref init(), then you can add a source node with \ref addSource() |
|
1367 |
/// If you need better control on the execution, you have to call |
|
1368 |
/// \ref init() first, then you can add a source node with \ref addSource() |
|
1374 | 1369 |
/// and perform the actual computation with \ref start(). |
... | ... |
@@ -1622,3 +1617,3 @@ |
1622 | 1617 |
|
1623 |
/// \brief Checks if |
|
1618 |
/// \brief Checks if the given node is reached from the root(s). |
|
1624 | 1619 |
/// |
... | ... |
@@ -72,5 +72,5 @@ |
72 | 72 |
///The type of the map that stores the arc lengths. |
73 |
///It must |
|
73 |
///It must conform to the \ref concepts::ReadMap "ReadMap" concept. |
|
74 | 74 |
typedef LEN LengthMap; |
75 |
///The type of the |
|
75 |
///The type of the arc lengths. |
|
76 | 76 |
typedef typename LEN::Value Value; |
... | ... |
@@ -118,3 +118,3 @@ |
118 | 118 |
///arcs of the shortest paths. |
119 |
///It must |
|
119 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
120 | 120 |
typedef typename Digraph::template NodeMap<typename Digraph::Arc> PredMap; |
... | ... |
@@ -133,3 +133,3 @@ |
133 | 133 |
///The type of the map that indicates which nodes are processed. |
134 |
///It must |
|
134 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
135 | 135 |
///By default it is a NullMap. |
... | ... |
@@ -153,3 +153,3 @@ |
153 | 153 |
///The type of the map that stores the distances of the nodes. |
154 |
///It must |
|
154 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
155 | 155 |
typedef typename Digraph::template NodeMap<typename LEN::Value> DistMap; |
... | ... |
@@ -171,2 +171,6 @@ |
171 | 171 |
/// |
172 |
///The %Dijkstra algorithm solves the single-source shortest path problem |
|
173 |
///when all arc lengths are non-negative. If there are negative lengths, |
|
174 |
///the BellmanFord algorithm should be used instead. |
|
175 |
/// |
|
172 | 176 |
///The arc lengths are passed to the algorithm using a |
... | ... |
@@ -203,3 +207,3 @@ |
203 | 207 |
|
204 |
///The type of the |
|
208 |
///The type of the arc lengths. |
|
205 | 209 |
typedef typename TR::LengthMap::Value Value; |
... | ... |
@@ -306,3 +310,3 @@ |
306 | 310 |
///\c PredMap type. |
307 |
///It must |
|
311 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
308 | 312 |
template <class T> |
... | ... |
@@ -327,3 +331,3 @@ |
327 | 331 |
///\c DistMap type. |
328 |
///It must |
|
332 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
329 | 333 |
template <class T> |
... | ... |
@@ -348,3 +352,3 @@ |
348 | 352 |
///\c ProcessedMap type. |
349 |
///It must |
|
353 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
350 | 354 |
template <class T> |
... | ... |
@@ -445,2 +449,3 @@ |
445 | 449 |
///\c OperationTraits type. |
450 |
/// For more information see \ref DijkstraDefaultOperationTraits. |
|
446 | 451 |
template <class T> |
... | ... |
@@ -586,4 +591,4 @@ |
586 | 591 |
///one of the member functions called \ref run(Node) "run()".\n |
587 |
///If you need more control on the execution, first you have to call |
|
588 |
///\ref init(), then you can add several source nodes with |
|
592 |
///If you need better control on the execution, you have to call |
|
593 |
///\ref init() first, then you can add several source nodes with |
|
589 | 594 |
///\ref addSource(). Finally the actual path computation can be |
... | ... |
@@ -803,3 +808,3 @@ |
803 | 808 |
///functions.\n |
804 |
///Either \ref run(Node) "run()" or \ref |
|
809 |
///Either \ref run(Node) "run()" or \ref init() should be called |
|
805 | 810 |
///before using them. |
... | ... |
@@ -808,5 +813,5 @@ |
808 | 813 |
|
809 |
///The shortest path to |
|
814 |
///The shortest path to the given node. |
|
810 | 815 |
|
811 |
///Returns the shortest path to |
|
816 |
///Returns the shortest path to the given node from the root(s). |
|
812 | 817 |
/// |
... | ... |
@@ -818,5 +823,5 @@ |
818 | 823 |
|
819 |
///The distance of |
|
824 |
///The distance of the given node from the root(s). |
|
820 | 825 |
|
821 |
///Returns the distance of |
|
826 |
///Returns the distance of the given node from the root(s). |
|
822 | 827 |
/// |
... | ... |
@@ -829,4 +834,5 @@ |
829 | 834 |
|
830 |
///Returns the 'previous arc' of the shortest path tree for a node. |
|
831 |
|
|
835 |
///\brief Returns the 'previous arc' of the shortest path tree for |
|
836 |
///the given node. |
|
837 |
/// |
|
832 | 838 |
///This function returns the 'previous arc' of the shortest path |
... | ... |
@@ -837,3 +843,3 @@ |
837 | 843 |
///The shortest path tree used here is equal to the shortest path |
838 |
///tree used in \ref predNode(). |
|
844 |
///tree used in \ref predNode() and \ref predMap(). |
|
839 | 845 |
/// |
... | ... |
@@ -843,7 +849,8 @@ |
843 | 849 |
|
844 |
///Returns the 'previous node' of the shortest path tree for a node. |
|
845 |
|
|
850 |
///\brief Returns the 'previous node' of the shortest path tree for |
|
851 |
///the given node. |
|
852 |
/// |
|
846 | 853 |
///This function returns the 'previous node' of the shortest path |
847 | 854 |
///tree for the node \c v, i.e. it returns the last but one node |
848 |
/// |
|
855 |
///of a shortest path from a root to \c v. It is \c INVALID |
|
849 | 856 |
///if \c v is not reached from the root(s) or if \c v is a root. |
... | ... |
@@ -851,3 +858,3 @@ |
851 | 858 |
///The shortest path tree used here is equal to the shortest path |
852 |
///tree used in \ref predArc(). |
|
859 |
///tree used in \ref predArc() and \ref predMap(). |
|
853 | 860 |
/// |
... | ... |
@@ -872,3 +879,3 @@ |
872 | 879 |
///Returns a const reference to the node map that stores the predecessor |
873 |
///arcs, which form the shortest path tree. |
|
880 |
///arcs, which form the shortest path tree (forest). |
|
874 | 881 |
/// |
... | ... |
@@ -878,3 +885,3 @@ |
878 | 885 |
|
879 |
///Checks if |
|
886 |
///Checks if the given node is reached from the root(s). |
|
880 | 887 |
|
... | ... |
@@ -897,5 +904,5 @@ |
897 | 904 |
|
898 |
///The current distance of |
|
905 |
///The current distance of the given node from the root(s). |
|
899 | 906 |
|
900 |
///Returns the current distance of |
|
907 |
///Returns the current distance of the given node from the root(s). |
|
901 | 908 |
///It may be decreased in the following processes. |
... | ... |
@@ -926,5 +933,5 @@ |
926 | 933 |
///The type of the map that stores the arc lengths. |
927 |
///It must |
|
934 |
///It must conform to the \ref concepts::ReadMap "ReadMap" concept. |
|
928 | 935 |
typedef LEN LengthMap; |
929 |
///The type of the |
|
936 |
///The type of the arc lengths. |
|
930 | 937 |
typedef typename LEN::Value Value; |
... | ... |
@@ -975,3 +982,3 @@ |
975 | 982 |
///arcs of the shortest paths. |
976 |
///It must |
|
983 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
977 | 984 |
typedef typename Digraph::template NodeMap<typename Digraph::Arc> PredMap; |
... | ... |
@@ -990,3 +997,3 @@ |
990 | 997 |
///The type of the map that indicates which nodes are processed. |
991 |
///It must |
|
998 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
992 | 999 |
///By default it is a NullMap. |
... | ... |
@@ -1010,3 +1017,3 @@ |
1010 | 1017 |
///The type of the map that stores the distances of the nodes. |
1011 |
///It must |
|
1018 |
///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
|
1012 | 1019 |
typedef typename Digraph::template NodeMap<typename LEN::Value> DistMap; |
... | ... |
@@ -1025,3 +1032,3 @@ |
1025 | 1032 |
///The type of the shortest paths. |
1026 |
///It must |
|
1033 |
///It must conform to the \ref concepts::Path "Path" concept. |
|
1027 | 1034 |
typedef lemon::Path<Digraph> Path; |
... | ... |
@@ -1031,8 +1038,5 @@ |
1031 | 1038 |
|
1032 |
/// To make it easier to use Dijkstra algorithm |
|
1033 |
/// we have created a wizard class. |
|
1034 |
/// This \ref DijkstraWizard class needs default traits, |
|
1035 |
/// as well as the \ref Dijkstra class. |
|
1036 |
/// The \ref DijkstraWizardBase is a class to be the default traits of the |
|
1037 |
/// \ref DijkstraWizard class. |
|
1039 |
/// Default traits class used by DijkstraWizard. |
|
1040 |
/// \tparam GR The type of the digraph. |
|
1041 |
/// \tparam LEN The type of the length map. |
|
1038 | 1042 |
template<typename GR, typename LEN> |
... | ... |
@@ -1095,3 +1099,2 @@ |
1095 | 1099 |
|
1096 |
///The type of the digraph the algorithm runs on. |
|
1097 | 1100 |
typedef typename TR::Digraph Digraph; |
... | ... |
@@ -1103,16 +1106,8 @@ |
1103 | 1106 |
|
1104 |
///The type of the map that stores the arc lengths. |
|
1105 | 1107 |
typedef typename TR::LengthMap LengthMap; |
1106 |
///The type of the length of the arcs. |
|
1107 | 1108 |
typedef typename LengthMap::Value Value; |
1108 |
///\brief The type of the map that stores the predecessor |
|
1109 |
///arcs of the shortest paths. |
|
1110 | 1109 |
typedef typename TR::PredMap PredMap; |
1111 |
///The type of the map that stores the distances of the nodes. |
|
1112 | 1110 |
typedef typename TR::DistMap DistMap; |
1113 |
///The type of the map that indicates which nodes are processed. |
|
1114 | 1111 |
typedef typename TR::ProcessedMap ProcessedMap; |
1115 |
///The type of the shortest paths |
|
1116 | 1112 |
typedef typename TR::Path Path; |
1117 |
///The heap type used by the dijkstra algorithm. |
|
1118 | 1113 |
typedef typename TR::Heap Heap; |
... | ... |
@@ -1188,7 +1183,8 @@ |
1188 | 1183 |
}; |
1189 |
///\brief \ref named-func-param "Named parameter" |
|
1190 |
///for setting PredMap object. |
|
1184 |
|
|
1185 |
///\brief \ref named-templ-param "Named parameter" for setting |
|
1186 |
///the predecessor map. |
|
1191 | 1187 |
/// |
1192 |
///\ref named-func-param "Named parameter" |
|
1193 |
///for setting PredMap object. |
|
1188 |
///\ref named-templ-param "Named parameter" function for setting |
|
1189 |
///the map that stores the predecessor arcs of the nodes. |
|
1194 | 1190 |
template<class T> |
... | ... |
@@ -1206,7 +1202,9 @@ |
1206 | 1202 |
}; |
1207 |
///\brief \ref named-func-param "Named parameter" |
|
1208 |
///for setting DistMap object. |
|
1203 |
|
|
1204 |
///\brief \ref named-templ-param "Named parameter" for setting |
|
1205 |
///the distance map. |
|
1209 | 1206 |
/// |
1210 |
///\ref named-func-param "Named parameter" |
|
1211 |
///for setting DistMap object. |
|
1207 |
///\ref named-templ-param "Named parameter" function for setting |
|
1208 |
///the map that stores the distances of the nodes calculated |
|
1209 |
///by the algorithm. |
|
1212 | 1210 |
template<class T> |
... | ... |
@@ -1224,7 +1222,8 @@ |
1224 | 1222 |
}; |
1225 |
///\brief \ref named-func-param "Named parameter" |
|
1226 |
///for setting ProcessedMap object. |
|
1223 |
|
|
1224 |
///\brief \ref named-func-param "Named parameter" for setting |
|
1225 |
///the processed map. |
|
1227 | 1226 |
/// |
1228 |
/// \ref named-func-param "Named parameter" |
|
1229 |
///for setting ProcessedMap object. |
|
1227 |
///\ref named-templ-param "Named parameter" function for setting |
|
1228 |
///the map that indicates which nodes are processed. |
|
1230 | 1229 |
template<class T> |
... | ... |
@@ -1241,2 +1240,3 @@ |
1241 | 1240 |
}; |
1241 |
|
|
1242 | 1242 |
///\brief \ref named-func-param "Named parameter" |
... | ... |
@@ -23,12 +23,5 @@ |
23 | 23 |
|
24 |
///\ingroup |
|
24 |
///\ingroup geomdat |
|
25 | 25 |
///\file |
26 | 26 |
///\brief A simple two dimensional vector and a bounding box implementation |
27 |
/// |
|
28 |
/// The class \ref lemon::dim2::Point "dim2::Point" implements |
|
29 |
/// a two dimensional vector with the usual operations. |
|
30 |
/// |
|
31 |
/// The class \ref lemon::dim2::Box "dim2::Box" can be used to determine |
|
32 |
/// the rectangular bounding box of a set of |
|
33 |
/// \ref lemon::dim2::Point "dim2::Point"'s. |
|
34 | 27 |
|
... | ... |
@@ -42,3 +35,3 @@ |
42 | 35 |
|
43 |
/// \addtogroup |
|
36 |
/// \addtogroup geomdat |
|
44 | 37 |
/// @{ |
... | ... |
@@ -361,6 +361,6 @@ |
361 | 361 |
/// \code |
362 |
/// |
|
362 |
/// GomoryHu<Graph> gom(g, capacities); |
|
363 | 363 |
/// gom.run(); |
364 | 364 |
/// int cnt=0; |
365 |
/// for( |
|
365 |
/// for(GomoryHu<Graph>::MinCutNodeIt n(gom,s,t); n!=INVALID; ++n) ++cnt; |
|
366 | 366 |
/// \endcode |
... | ... |
@@ -458,6 +458,6 @@ |
458 | 458 |
/// \code |
459 |
/// |
|
459 |
/// GomoryHu<Graph> gom(g, capacities); |
|
460 | 460 |
/// gom.run(); |
461 | 461 |
/// int value=0; |
462 |
/// for( |
|
462 |
/// for(GomoryHu<Graph>::MinCutEdgeIt e(gom,s,t); e!=INVALID; ++e) |
|
463 | 463 |
/// value+=capacities[e]; |
... | ... |
@@ -58,3 +58,3 @@ |
58 | 58 |
/// <tt>/dev/null</tt>). |
59 |
/// It conforms the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
59 |
/// It conforms to the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
60 | 60 |
/// |
... | ... |
@@ -91,3 +91,3 @@ |
91 | 91 |
/// In other aspects it is equivalent to \c NullMap. |
92 |
/// So it conforms the \ref concepts::ReadWriteMap "ReadWriteMap" |
|
92 |
/// So it conforms to the \ref concepts::ReadWriteMap "ReadWriteMap" |
|
93 | 93 |
/// concept, but it absorbs the data written to it. |
... | ... |
@@ -160,3 +160,3 @@ |
160 | 160 |
/// In other aspects it is equivalent to \c NullMap. |
161 |
/// So it conforms the \ref concepts::ReadWriteMap "ReadWriteMap" |
|
161 |
/// So it conforms to the \ref concepts::ReadWriteMap "ReadWriteMap" |
|
162 | 162 |
/// concept, but it absorbs the data written to it. |
... | ... |
@@ -234,3 +234,3 @@ |
234 | 234 |
/// \c UnionFind, \c BinHeap, when the used items are small |
235 |
/// integers. This map conforms the \ref concepts::ReferenceMap |
|
235 |
/// integers. This map conforms to the \ref concepts::ReferenceMap |
|
236 | 236 |
/// "ReferenceMap" concept. |
... | ... |
@@ -342,3 +342,3 @@ |
342 | 342 |
/// contructed value (i.e. \c %Value()). |
343 |
/// This type conforms the \ref concepts::ReferenceMap "ReferenceMap" |
|
343 |
/// This type conforms to the \ref concepts::ReferenceMap "ReferenceMap" |
|
344 | 344 |
/// concept. |
... | ... |
@@ -708,3 +708,3 @@ |
708 | 708 |
/// type is \c V. |
709 |
/// This type conforms the \ref concepts::ReadMap "ReadMap" concept. |
|
709 |
/// This type conforms to the \ref concepts::ReadMap "ReadMap" concept. |
|
710 | 710 |
/// |
... | ... |
@@ -1791,3 +1791,3 @@ |
1791 | 1791 |
/// std::vector<Node> v; |
1792 |
/// dfs(g |
|
1792 |
/// dfs(g).processedMap(loggerBoolMap(std::back_inserter(v))).run(s); |
|
1793 | 1793 |
/// \endcode |
... | ... |
@@ -1795,3 +1795,3 @@ |
1795 | 1795 |
/// std::vector<Node> v(countNodes(g)); |
1796 |
/// dfs(g |
|
1796 |
/// dfs(g).processedMap(loggerBoolMap(v.begin())).run(s); |
|
1797 | 1797 |
/// \endcode |
... | ... |
@@ -1827,3 +1827,3 @@ |
1827 | 1827 |
/// function of the graph. This map can be inverted with its member |
1828 |
/// class \c InverseMap or with the \c operator() member. |
|
1828 |
/// class \c InverseMap or with the \c operator()() member. |
|
1829 | 1829 |
/// |
... | ... |
@@ -1867,5 +1867,7 @@ |
1867 | 1867 |
|
1868 |
/// \brief |
|
1868 |
/// \brief The inverse map type of IdMap. |
|
1869 | 1869 |
/// |
1870 |
/// |
|
1870 |
/// The inverse map type of IdMap. The subscript operator gives back |
|
1871 |
/// an item by its id. |
|
1872 |
/// This type conforms to the \ref concepts::ReadMap "ReadMap" concept. |
|
1871 | 1873 |
/// \see inverse() |
... | ... |
@@ -1884,5 +1886,5 @@ |
1884 | 1886 |
|
1885 |
/// \brief Gives back |
|
1887 |
/// \brief Gives back an item by its id. |
|
1886 | 1888 |
/// |
1887 |
/// Gives back |
|
1889 |
/// Gives back an item by its id. |
|
1888 | 1890 |
Item operator[](int id) const { return _graph->fromId(id, Item());} |
... | ... |
@@ -1899,2 +1901,10 @@ |
1899 | 1901 |
|
1902 |
/// \brief Returns an \c IdMap class. |
|
1903 |
/// |
|
1904 |
/// This function just returns an \c IdMap class. |
|
1905 |
/// \relates IdMap |
|
1906 |
template <typename K, typename GR> |
|
1907 |
inline IdMap<GR, K> idMap(const GR& graph) { |
|
1908 |
return IdMap<GR, K>(graph); |
|
1909 |
} |
|
1900 | 1910 |
|
... | ... |
@@ -1905,4 +1915,13 @@ |
1905 | 1915 |
/// and if a key is set to a new value, then stores it in the inverse map. |
1906 |
/// The values of the map can be accessed |
|
1907 |
/// with stl compatible forward iterator. |
|
1916 |
/// The graph items can be accessed by their values either using |
|
1917 |
/// \c InverseMap or \c operator()(), and the values of the map can be |
|
1918 |
/// accessed with an STL compatible forward iterator (\c ValueIt). |
|
1919 |
/// |
|
1920 |
/// This map is intended to be used when all associated values are |
|
1921 |
/// different (the map is actually invertable) or there are only a few |
|
1922 |
/// items with the same value. |
|
1923 |
/// Otherwise consider to use \c IterableValueMap, which is more |
|
1924 |
/// suitable and more efficient for such cases. It provides iterators |
|
1925 |
/// to traverse the items with the same associated value, however |
|
1926 |
/// it does not have \c InverseMap. |
|
1908 | 1927 |
/// |
... | ... |
@@ -1947,3 +1966,3 @@ |
1947 | 1966 |
/// |
1948 |
/// This iterator is an |
|
1967 |
/// This iterator is an STL compatible forward |
|
1949 | 1968 |
/// iterator on the values of the map. The values can |
... | ... |
@@ -1952,3 +1971,3 @@ |
1952 | 1971 |
/// traversed for each item it is assigned to. |
1953 |
class |
|
1972 |
class ValueIt |
|
1954 | 1973 |
: public std::iterator<std::forward_iterator_tag, Value> { |
... | ... |
@@ -1956,3 +1975,3 @@ |
1956 | 1975 |
private: |
1957 |
|
|
1976 |
ValueIt(typename Container::const_iterator _it) |
|
1958 | 1977 |
: it(_it) {} |
... | ... |
@@ -1960,7 +1979,10 @@ |
1960 | 1979 |
|
1961 |
ValueIterator() {} |
|
1962 |
|
|
1963 |
ValueIterator& operator++() { ++it; return *this; } |
|
1964 |
ValueIterator operator++(int) { |
|
1965 |
|
|
1980 |
/// Constructor |
|
1981 |
ValueIt() {} |
|
1982 |
|
|
1983 |
/// \e |
|
1984 |
ValueIt& operator++() { ++it; return *this; } |
|
1985 |
/// \e |
|
1986 |
ValueIt operator++(int) { |
|
1987 |
ValueIt tmp(*this); |
|
1966 | 1988 |
operator++(); |
... | ... |
@@ -1969,7 +1991,11 @@ |
1969 | 1991 |
|
1992 |
/// \e |
|
1970 | 1993 |
const Value& operator*() const { return it->first; } |
1994 |
/// \e |
|
1971 | 1995 |
const Value* operator->() const { return &(it->first); } |
1972 | 1996 |
|
1973 |
bool operator==(ValueIterator jt) const { return it == jt.it; } |
|
1974 |
bool operator!=(ValueIterator jt) const { return it != jt.it; } |
|
1997 |
/// \e |
|
1998 |
bool operator==(ValueIt jt) const { return it == jt.it; } |
|
1999 |
/// \e |
|
2000 |
bool operator!=(ValueIt jt) const { return it != jt.it; } |
|
1975 | 2001 |
|
... | ... |
@@ -1978,2 +2004,5 @@ |
1978 | 2004 |
}; |
2005 |
|
|
2006 |
/// Alias for \c ValueIt |
|
2007 |
typedef ValueIt ValueIterator; |
|
1979 | 2008 |
|
... | ... |
@@ -1981,3 +2010,3 @@ |
1981 | 2010 |
/// |
1982 |
/// Returns an |
|
2011 |
/// Returns an STL compatible iterator to the |
|
1983 | 2012 |
/// first value of the map. The values of the |
... | ... |
@@ -1985,4 +2014,4 @@ |
1985 | 2014 |
/// range. |
1986 |
ValueIterator beginValue() const { |
|
1987 |
return ValueIterator(_inv_map.begin()); |
|
2015 |
ValueIt beginValue() const { |
|
2016 |
return ValueIt(_inv_map.begin()); |
|
1988 | 2017 |
} |
... | ... |
@@ -1991,3 +2020,3 @@ |
1991 | 2020 |
/// |
1992 |
/// Returns an |
|
2021 |
/// Returns an STL compatible iterator after the |
|
1993 | 2022 |
/// last value of the map. The values of the |
... | ... |
@@ -1995,4 +2024,4 @@ |
1995 | 2024 |
/// range. |
1996 |
ValueIterator endValue() const { |
|
1997 |
return ValueIterator(_inv_map.end()); |
|
2025 |
ValueIt endValue() const { |
|
2026 |
return ValueIt(_inv_map.end()); |
|
1998 | 2027 |
} |
... | ... |
@@ -2034,2 +2063,10 @@ |
2034 | 2063 |
} |
2064 |
|
|
2065 |
/// \brief Returns the number of items with the given value. |
|
2066 |
/// |
|
2067 |
/// This function returns the number of items with the given value |
|
2068 |
/// associated with it. |
|
2069 |
int count(const Value &val) const { |
|
2070 |
return _inv_map.count(val); |
|
2071 |
} |
|
2035 | 2072 |
|
... | ... |
@@ -2084,6 +2121,8 @@ |
2084 | 2121 |
|
2085 |
/// \brief The inverse map type. |
|
2122 |
/// \brief The inverse map type of CrossRefMap. |
|
2086 | 2123 |
/// |
2087 |
/// The inverse of this map. The subscript operator of the map |
|
2088 |
/// gives back the item that was last assigned to the value. |
|
2124 |
/// The inverse map type of CrossRefMap. The subscript operator gives |
|
2125 |
/// back an item by its value. |
|
2126 |
/// This type conforms to the \ref concepts::ReadMap "ReadMap" concept. |
|
2127 |
/// \see inverse() |
|
2089 | 2128 |
class InverseMap { |
... | ... |
@@ -2114,5 +2153,5 @@ |
2114 | 2153 |
|
2115 |
/// \brief |
|
2154 |
/// \brief Gives back the inverse of the map. |
|
2116 | 2155 |
/// |
2117 |
/// |
|
2156 |
/// Gives back the inverse of the CrossRefMap. |
|
2118 | 2157 |
InverseMap inverse() const { |
... | ... |
@@ -2123,3 +2162,3 @@ |
2123 | 2162 |
|
2124 |
/// \brief Provides continuous and unique |
|
2163 |
/// \brief Provides continuous and unique id for the |
|
2125 | 2164 |
/// items of a graph. |
... | ... |
@@ -2127,3 +2166,3 @@ |
2127 | 2166 |
/// RangeIdMap provides a unique and continuous |
2128 |
/// |
|
2167 |
/// id for each item of a given type (\c Node, \c Arc or |
|
2129 | 2168 |
/// \c Edge) in a graph. This id is |
... | ... |
@@ -2138,3 +2177,3 @@ |
2138 | 2177 |
/// This map can be inverted with its member class \c InverseMap, |
2139 |
/// or with the \c operator() member. |
|
2178 |
/// or with the \c operator()() member. |
|
2140 | 2179 |
/// |
... | ... |
@@ -2266,5 +2305,5 @@ |
2266 | 2305 |
|
2267 |
/// \brief Gives back the \e |
|
2306 |
/// \brief Gives back the \e range \e id of the item |
|
2268 | 2307 |
/// |
2269 |
/// Gives back the \e |
|
2308 |
/// Gives back the \e range \e id of the item. |
|
2270 | 2309 |
int operator[](const Item& item) const { |
... | ... |
@@ -2273,5 +2312,5 @@ |
2273 | 2312 |
|
2274 |
/// \brief Gives back the item belonging to a \e |
|
2313 |
/// \brief Gives back the item belonging to a \e range \e id |
|
2275 | 2314 |
/// |
2276 |
/// Gives back the item belonging to |
|
2315 |
/// Gives back the item belonging to the given \e range \e id. |
|
2277 | 2316 |
Item operator()(int id) const { |
... | ... |
@@ -2289,3 +2328,5 @@ |
2289 | 2328 |
/// |
2290 |
/// The inverse map type of RangeIdMap. |
|
2329 |
/// The inverse map type of RangeIdMap. The subscript operator gives |
|
2330 |
/// back an item by its \e range \e id. |
|
2331 |
/// This type conforms to the \ref concepts::ReadMap "ReadMap" concept. |
|
2291 | 2332 |
class InverseMap { |
... | ... |
@@ -2307,3 +2348,3 @@ |
2307 | 2348 |
/// Subscript operator. It gives back the item |
2308 |
/// that the |
|
2349 |
/// that the given \e range \e id currently belongs to. |
|
2309 | 2350 |
Value operator[](const Key& key) const { |
... | ... |
@@ -2325,3 +2366,3 @@ |
2325 | 2366 |
/// |
2326 |
/// Gives back the inverse of the |
|
2367 |
/// Gives back the inverse of the RangeIdMap. |
|
2327 | 2368 |
const InverseMap inverse() const { |
... | ... |
@@ -2331,2 +2372,11 @@ |
2331 | 2372 |
|
2373 |
/// \brief Returns a \c RangeIdMap class. |
|
2374 |
/// |
|
2375 |
/// This function just returns an \c RangeIdMap class. |
|
2376 |
/// \relates RangeIdMap |
|
2377 |
template <typename K, typename GR> |
|
2378 |
inline RangeIdMap<GR, K> rangeIdMap(const GR& graph) { |
|
2379 |
return RangeIdMap<GR, K>(graph); |
|
2380 |
} |
|
2381 |
|
|
2332 | 2382 |
/// \brief Dynamic iterable \c bool map. |
... | ... |
@@ -2336,3 +2386,3 @@ |
2336 | 2386 |
/// For both \c true and \c false values it is possible to iterate on |
2337 |
/// the keys. |
|
2387 |
/// the keys mapped to the value. |
|
2338 | 2388 |
/// |
... | ... |
@@ -2705,2 +2755,7 @@ |
2705 | 2755 |
/// |
2756 |
/// This map is intended to be used with small integer values, for which |
|
2757 |
/// it is efficient, and supports iteration only for non-negative values. |
|
2758 |
/// If you need large values and/or iteration for negative integers, |
|
2759 |
/// consider to use \ref IterableValueMap instead. |
|
2760 |
/// |
|
2706 | 2761 |
/// This type is a reference map, so it can be modified with the |
... | ... |
@@ -2986,11 +3041,13 @@ |
2986 | 3041 |
/// |
2987 |
/// This class provides a special graph map type which can store |
|
3042 |
/// This class provides a special graph map type which can store a |
|
2988 | 3043 |
/// comparable value for graph items (\c Node, \c Arc or \c Edge). |
2989 | 3044 |
/// For each value it is possible to iterate on the keys mapped to |
2990 |
/// the value |
|
3045 |
/// the value (\c ItemIt), and the values of the map can be accessed |
|
3046 |
/// with an STL compatible forward iterator (\c ValueIt). |
|
3047 |
/// The map stores a linked list for each value, which contains |
|
3048 |
/// the items mapped to the value, and the used values are stored |
|
3049 |
/// in balanced binary tree (\c std::map). |
|
2991 | 3050 |
/// |
2992 |
/// The map stores for each value a linked list with |
|
2993 |
/// the items which mapped to the value, and the values are stored |
|
2994 |
/// in balanced binary tree. The values of the map can be accessed |
|
2995 |
/// with stl compatible forward iterator. |
|
3051 |
/// \ref IterableBoolMap and \ref IterableIntMap are similar classes |
|
3052 |
/// specialized for \c bool and \c int values, respectively. |
|
2996 | 3053 |
/// |
... | ... |
@@ -3073,6 +3130,6 @@ |
3073 | 3130 |
/// |
3074 |
/// This iterator is an |
|
3131 |
/// This iterator is an STL compatible forward |
|
3075 | 3132 |
/// iterator on the values of the map. The values can |
3076 | 3133 |
/// be accessed in the <tt>[beginValue, endValue)</tt> range. |
3077 |
class |
|
3134 |
class ValueIt |
|
3078 | 3135 |
: public std::iterator<std::forward_iterator_tag, Value> { |
... | ... |
@@ -3080,3 +3137,3 @@ |
3080 | 3137 |
private: |
3081 |
|
|
3138 |
ValueIt(typename std::map<Value, Key>::const_iterator _it) |
|
3082 | 3139 |
: it(_it) {} |
... | ... |
@@ -3084,7 +3141,10 @@ |
3084 | 3141 |
|
3085 |
ValueIterator() {} |
|
3086 |
|
|
3087 |
ValueIterator& operator++() { ++it; return *this; } |
|
3088 |
ValueIterator operator++(int) { |
|
3089 |
|
|
3142 |
/// Constructor |
|
3143 |
ValueIt() {} |
|
3144 |
|
|
3145 |
/// \e |
|
3146 |
ValueIt& operator++() { ++it; return *this; } |
|
3147 |
/// \e |
|
3148 |
ValueIt operator++(int) { |
|
3149 |
ValueIt tmp(*this); |
|
3090 | 3150 |
operator++(); |
... | ... |
@@ -3093,7 +3153,11 @@ |
3093 | 3153 |
|
3154 |
/// \e |
|
3094 | 3155 |
const Value& operator*() const { return it->first; } |
3156 |
/// \e |
|
3095 | 3157 |
const Value* operator->() const { return &(it->first); } |
3096 | 3158 |
|
3097 |
bool operator==(ValueIterator jt) const { return it == jt.it; } |
|
3098 |
bool operator!=(ValueIterator jt) const { return it != jt.it; } |
|
3159 |
/// \e |
|
3160 |
bool operator==(ValueIt jt) const { return it == jt.it; } |
|
3161 |
/// \e |
|
3162 |
bool operator!=(ValueIt jt) const { return it != jt.it; } |
|
3099 | 3163 |
|
... | ... |
@@ -3105,3 +3169,3 @@ |
3105 | 3169 |
/// |
3106 |
/// Returns an |
|
3170 |
/// Returns an STL compatible iterator to the |
|
3107 | 3171 |
/// first value of the map. The values of the |
... | ... |
@@ -3109,4 +3173,4 @@ |
3109 | 3173 |
/// range. |
3110 |
ValueIterator beginValue() const { |
|
3111 |
return ValueIterator(_first.begin()); |
|
3174 |
ValueIt beginValue() const { |
|
3175 |
return ValueIt(_first.begin()); |
|
3112 | 3176 |
} |
... | ... |
@@ -3115,3 +3179,3 @@ |
3115 | 3179 |
/// |
3116 |
/// Returns an |
|
3180 |
/// Returns an STL compatible iterator after the |
|
3117 | 3181 |
/// last value of the map. The values of the |
... | ... |
@@ -3119,4 +3183,4 @@ |
3119 | 3183 |
/// range. |
3120 |
ValueIterator endValue() const { |
|
3121 |
return ValueIterator(_first.end()); |
|
3184 |
ValueIt endValue() const { |
|
3185 |
return ValueIt(_first.end()); |
|
3122 | 3186 |
} |
... | ... |
@@ -3238,5 +3302,5 @@ |
3238 | 3302 |
|
3239 |
///\ |
|
3303 |
/// The key type (the \c Arc type of the digraph). |
|
3240 | 3304 |
typedef typename GR::Arc Key; |
3241 |
///\ |
|
3305 |
/// The value type (the \c Node type of the digraph). |
|
3242 | 3306 |
typedef typename GR::Node Value; |
... | ... |
@@ -3279,5 +3343,5 @@ |
3279 | 3343 |
|
3280 |
///\ |
|
3344 |
/// The key type (the \c Arc type of the digraph). |
|
3281 | 3345 |
typedef typename GR::Arc Key; |
3282 |
///\ |
|
3346 |
/// The value type (the \c Node type of the digraph). |
|
3283 | 3347 |
typedef typename GR::Node Value; |
... | ... |
@@ -3321,4 +3385,6 @@ |
3321 | 3385 |
|
3386 |
/// The key type (the \c Edge type of the digraph). |
|
3387 |
typedef typename GR::Edge Key; |
|
3388 |
/// The value type (the \c Arc type of the digraph). |
|
3322 | 3389 |
typedef typename GR::Arc Value; |
3323 |
typedef typename GR::Edge Key; |
|
3324 | 3390 |
|
... | ... |
@@ -3361,4 +3427,6 @@ |
3361 | 3427 |
|
3428 |
/// The key type (the \c Edge type of the digraph). |
|
3429 |
typedef typename GR::Edge Key; |
|
3430 |
/// The value type (the \c Arc type of the digraph). |
|
3362 | 3431 |
typedef typename GR::Arc Value; |
3363 |
typedef typename GR::Edge Key; |
|
3364 | 3432 |
... | ... |
@@ -490,4 +490,4 @@ |
490 | 490 |
/// one of the member functions called \c run(...). \n |
491 |
/// If you need more control on the execution, |
|
492 |
/// first you must call \ref init(), then you can add several |
|
491 |
/// If you need better control on the execution, |
|
492 |
/// you have to call \ref init() first, then you can add several |
|
493 | 493 |
/// source nodes with \ref addSource(). |
... | ... |
@@ -54,3 +54,7 @@ |
54 | 54 |
/// It must meet the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
55 |
#ifdef DOXYGEN |
|
56 |
typedef GR::ArcMap<Value> FlowMap; |
|
57 |
#else |
|
55 | 58 |
typedef typename Digraph::template ArcMap<Value> FlowMap; |
59 |
#endif |
|
56 | 60 |
|
... | ... |
@@ -69,5 +73,8 @@ |
69 | 73 |
/// |
70 |
/// \sa Elevator |
|
71 |
/// \sa LinkedElevator |
|
72 |
|
|
74 |
/// \sa Elevator, LinkedElevator |
|
75 |
#ifdef DOXYGEN |
|
76 |
typedef lemon::Elevator<GR, GR::Node> Elevator; |
|
77 |
#else |
|
78 |
typedef lemon::Elevator<Digraph, typename Digraph::Node> Elevator; |
|
79 |
#endif |
|
73 | 80 |
|
... | ... |
@@ -393,4 +400,4 @@ |
393 | 400 |
/// \ref run() or \ref runMinCut().\n |
394 |
/// If you need more control on the initial solution or the execution, |
|
395 |
/// first you have to call one of the \ref init() functions, then |
|
401 |
/// If you need better control on the initial solution or the execution, |
|
402 |
/// you have to call one of the \ref init() functions first, then |
|
396 | 403 |
/// \ref startFirstPhase() and if you need it \ref startSecondPhase(). |
... | ... |
@@ -24,3 +24,6 @@ |
24 | 24 |
#include <lemon/maps.h> |
25 |
#include <lemon/list_graph.h> |
|
25 | 26 |
#include <lemon/smart_graph.h> |
27 |
#include <lemon/adaptors.h> |
|
28 |
#include <lemon/dfs.h> |
|
26 | 29 |
|
... | ... |
@@ -63,2 +66,8 @@ |
63 | 66 |
|
67 |
template<typename Map1, typename Map2, typename ItemIt> |
|
68 |
void compareMap(const Map1& map1, const Map2& map2, ItemIt it) { |
|
69 |
for (; it != INVALID; ++it) |
|
70 |
check(map1[it] == map2[it], "The maps are not equal"); |
|
71 |
} |
|
72 |
|
|
64 | 73 |
int main() |
... | ... |
@@ -331,2 +340,6 @@ |
331 | 340 |
typedef std::vector<int> vec; |
341 |
checkConcept<WriteMap<int, bool>, LoggerBoolMap<vec::iterator> >(); |
|
342 |
checkConcept<WriteMap<int, bool>, |
|
343 |
LoggerBoolMap<std::back_insert_iterator<vec> > >(); |
|
344 |
|
|
332 | 345 |
vec v1; |
... | ... |
@@ -350,2 +363,218 @@ |
350 | 363 |
check(v1[i++] == *it, "Something is wrong with LoggerBoolMap"); |
364 |
|
|
365 |
typedef ListDigraph Graph; |
|
366 |
DIGRAPH_TYPEDEFS(Graph); |
|
367 |
Graph gr; |
|
368 |
|
|
369 |
Node n0 = gr.addNode(); |
|
370 |
Node n1 = gr.addNode(); |
|
371 |
Node n2 = gr.addNode(); |
|
372 |
Node n3 = gr.addNode(); |
|
373 |
|
|
374 |
gr.addArc(n3, n0); |
|
375 |
gr.addArc(n3, n2); |
|
376 |
gr.addArc(n0, n2); |
|
377 |
gr.addArc(n2, n1); |
|
378 |
gr.addArc(n0, n1); |
|
379 |
|
|
380 |
{ |
|
381 |
std::vector<Node> v; |
|
382 |
dfs(gr).processedMap(loggerBoolMap(std::back_inserter(v))).run(); |
|
383 |
|
|
384 |
check(v.size()==4 && v[0]==n1 && v[1]==n2 && v[2]==n0 && v[3]==n3, |
|
385 |
"Something is wrong with LoggerBoolMap"); |
|
386 |
} |
|
387 |
{ |
|
388 |
std::vector<Node> v(countNodes(gr)); |
|
389 |
dfs(gr).processedMap(loggerBoolMap(v.begin())).run(); |
|
390 |
|
|
391 |
check(v.size()==4 && v[0]==n1 && v[1]==n2 && v[2]==n0 && v[3]==n3, |
|
392 |
"Something is wrong with LoggerBoolMap"); |
|
393 |
} |
|
394 |
} |
|
395 |
|
|
396 |
// IdMap, RangeIdMap |
|
397 |
{ |
|
398 |
typedef ListDigraph Graph; |
|
399 |
DIGRAPH_TYPEDEFS(Graph); |
|
400 |
|
|
401 |
checkConcept<ReadMap<Node, int>, IdMap<Graph, Node> >(); |
|
402 |
checkConcept<ReadMap<Arc, int>, IdMap<Graph, Arc> >(); |
|
403 |
checkConcept<ReadMap<Node, int>, RangeIdMap<Graph, Node> >(); |
|
404 |
checkConcept<ReadMap<Arc, int>, RangeIdMap<Graph, Arc> >(); |
|
405 |
|
|
406 |
Graph gr; |
|
407 |
IdMap<Graph, Node> nmap(gr); |
|
408 |
IdMap<Graph, Arc> amap(gr); |
|
409 |
RangeIdMap<Graph, Node> nrmap(gr); |
|
410 |
RangeIdMap<Graph, Arc> armap(gr); |
|
411 |
|
|
412 |
Node n0 = gr.addNode(); |
|
413 |
Node n1 = gr.addNode(); |
|
414 |
Node n2 = gr.addNode(); |
|
415 |
|
|
416 |
Arc a0 = gr.addArc(n0, n1); |
|
417 |
Arc a1 = gr.addArc(n0, n2); |
|
418 |
Arc a2 = gr.addArc(n2, n1); |
|
419 |
Arc a3 = gr.addArc(n2, n0); |
|
420 |
|
|
421 |
check(nmap[n0] == gr.id(n0) && nmap(gr.id(n0)) == n0, "Wrong IdMap"); |
|
422 |
check(nmap[n1] == gr.id(n1) && nmap(gr.id(n1)) == n1, "Wrong IdMap"); |
|
423 |
check(nmap[n2] == gr.id(n2) && nmap(gr.id(n2)) == n2, "Wrong IdMap"); |
|
424 |
|
|
425 |
check(amap[a0] == gr.id(a0) && amap(gr.id(a0)) == a0, "Wrong IdMap"); |
|
426 |
check(amap[a1] == gr.id(a1) && amap(gr.id(a1)) == a1, "Wrong IdMap"); |
|
427 |
check(amap[a2] == gr.id(a2) && amap(gr.id(a2)) == a2, "Wrong IdMap"); |
|
428 |
check(amap[a3] == gr.id(a3) && amap(gr.id(a3)) == a3, "Wrong IdMap"); |
|
429 |
|
|
430 |
check(nmap.inverse()[gr.id(n0)] == n0, "Wrong IdMap::InverseMap"); |
|
431 |
check(amap.inverse()[gr.id(a0)] == a0, "Wrong IdMap::InverseMap"); |
|
432 |
|
|
433 |
check(nrmap.size() == 3 && armap.size() == 4, |
|
434 |
"Wrong RangeIdMap::size()"); |
|
435 |
|
|
436 |
check(nrmap[n0] == 0 && nrmap(0) == n0, "Wrong RangeIdMap"); |
|
437 |
check(nrmap[n1] == 1 && nrmap(1) == n1, "Wrong RangeIdMap"); |
|
438 |
check(nrmap[n2] == 2 && nrmap(2) == n2, "Wrong RangeIdMap"); |
|
439 |
|
|
440 |
check(armap[a0] == 0 && armap(0) == a0, "Wrong RangeIdMap"); |
|
441 |
check(armap[a1] == 1 && armap(1) == a1, "Wrong RangeIdMap"); |
|
442 |
check(armap[a2] == 2 && armap(2) == a2, "Wrong RangeIdMap"); |
|
443 |
check(armap[a3] == 3 && armap(3) == a3, "Wrong RangeIdMap"); |
|
444 |
|
|
445 |
check(nrmap.inverse()[0] == n0, "Wrong RangeIdMap::InverseMap"); |
|
446 |
check(armap.inverse()[0] == a0, "Wrong RangeIdMap::InverseMap"); |
|
447 |
|
|
448 |
gr.erase(n1); |
|
449 |
|
|
450 |
if (nrmap[n0] == 1) nrmap.swap(n0, n2); |
|
451 |
nrmap.swap(n2, n0); |
|
452 |
if (armap[a1] == 1) armap.swap(a1, a3); |
|
453 |
armap.swap(a3, a1); |
|
454 |
|
|
455 |
check(nrmap.size() == 2 && armap.size() == 2, |
|
456 |
"Wrong RangeIdMap::size()"); |
|
457 |
|
|
458 |
check(nrmap[n0] == 1 && nrmap(1) == n0, "Wrong RangeIdMap"); |
|
459 |
check(nrmap[n2] == 0 && nrmap(0) == n2, "Wrong RangeIdMap"); |
|
460 |
|
|
461 |
check(armap[a1] == 1 && armap(1) == a1, "Wrong RangeIdMap"); |
|
462 |
check(armap[a3] == 0 && armap(0) == a3, "Wrong RangeIdMap"); |
|
463 |
|
|
464 |
check(nrmap.inverse()[0] == n2, "Wrong RangeIdMap::InverseMap"); |
|
465 |
check(armap.inverse()[0] == a3, "Wrong RangeIdMap::InverseMap"); |
|
466 |
} |
|
467 |
|
|
468 |
// SourceMap, TargetMap, ForwardMap, BackwardMap, InDegMap, OutDegMap |
|
469 |
{ |
|
470 |
typedef ListGraph Graph; |
|
471 |
GRAPH_TYPEDEFS(Graph); |
|
472 |
|
|
473 |
checkConcept<ReadMap<Arc, Node>, SourceMap<Graph> >(); |
|
474 |
checkConcept<ReadMap<Arc, Node>, TargetMap<Graph> >(); |
|
475 |
checkConcept<ReadMap<Edge, Arc>, ForwardMap<Graph> >(); |
|
476 |
checkConcept<ReadMap<Edge, Arc>, BackwardMap<Graph> >(); |
|
477 |
checkConcept<ReadMap<Node, int>, InDegMap<Graph> >(); |
|
478 |
checkConcept<ReadMap<Node, int>, OutDegMap<Graph> >(); |
|
479 |
|
|
480 |
Graph gr; |
|
481 |
Node n0 = gr.addNode(); |
|
482 |
Node n1 = gr.addNode(); |
|
483 |
Node n2 = gr.addNode(); |
|
484 |
|
|
485 |
gr.addEdge(n0,n1); |
|
486 |
gr.addEdge(n1,n2); |
|
487 |
gr.addEdge(n0,n2); |
|
488 |
gr.addEdge(n2,n1); |
|
489 |
gr.addEdge(n1,n2); |
|
490 |
gr.addEdge(n0,n1); |
|
491 |
|
|
492 |
for (EdgeIt e(gr); e != INVALID; ++e) { |
|
493 |
check(forwardMap(gr)[e] == gr.direct(e, true), "Wrong ForwardMap"); |
|
494 |
check(backwardMap(gr)[e] == gr.direct(e, false), "Wrong BackwardMap"); |
|
495 |
} |
|
496 |
|
|
497 |
compareMap(sourceMap(orienter(gr, constMap<Edge, bool>(true))), |
|
498 |
targetMap(orienter(gr, constMap<Edge, bool>(false))), |
|
499 |
EdgeIt(gr)); |
|
500 |
|
|
501 |
typedef Orienter<Graph, const ConstMap<Edge, bool> > Digraph; |
|
502 |
Digraph dgr(gr, constMap<Edge, bool>(true)); |
|
503 |
OutDegMap<Digraph> odm(dgr); |
|
504 |
InDegMap<Digraph> idm(dgr); |
|
505 |
|
|
506 |
check(odm[n0] == 3 && odm[n1] == 2 && odm[n2] == 1, "Wrong OutDegMap"); |
|
507 |
check(idm[n0] == 0 && idm[n1] == 3 && idm[n2] == 3, "Wrong InDegMap"); |
|
508 |
|
|
509 |
gr.addEdge(n2, n0); |
|
510 |
|
|
511 |
check(odm[n0] == 3 && odm[n1] == 2 && odm[n2] == 2, "Wrong OutDegMap"); |
|
512 |
check(idm[n0] == 1 && idm[n1] == 3 && idm[n2] == 3, "Wrong InDegMap"); |
|
513 |
} |
|
514 |
|
|
515 |
// CrossRefMap |
|
516 |
{ |
|
517 |
typedef ListDigraph Graph; |
|
518 |
DIGRAPH_TYPEDEFS(Graph); |
|
519 |
|
|
520 |
checkConcept<ReadWriteMap<Node, int>, |
|
521 |
CrossRefMap<Graph, Node, int> >(); |
|
522 |
checkConcept<ReadWriteMap<Node, bool>, |
|
523 |
CrossRefMap<Graph, Node, bool> >(); |
|
524 |
checkConcept<ReadWriteMap<Node, double>, |
|
525 |
CrossRefMap<Graph, Node, double> >(); |
|
526 |
|
|
527 |
Graph gr; |
|
528 |
typedef CrossRefMap<Graph, Node, char> CRMap; |
|
529 |
CRMap map(gr); |
|
530 |
|
|
531 |
Node n0 = gr.addNode(); |
|
532 |
Node n1 = gr.addNode(); |
|
533 |
Node n2 = gr.addNode(); |
|
534 |
|
|
535 |
map.set(n0, 'A'); |
|
536 |
map.set(n1, 'B'); |
|
537 |
map.set(n2, 'C'); |
|
538 |
|
|
539 |
check(map[n0] == 'A' && map('A') == n0 && map.inverse()['A'] == n0, |
|
540 |
"Wrong CrossRefMap"); |
|
541 |
check(map[n1] == 'B' && map('B') == n1 && map.inverse()['B'] == n1, |
|
542 |
"Wrong CrossRefMap"); |
|
543 |
check(map[n2] == 'C' && map('C') == n2 && map.inverse()['C'] == n2, |
|
544 |
"Wrong CrossRefMap"); |
|
545 |
check(map.count('A') == 1 && map.count('B') == 1 && map.count('C') == 1, |
|
546 |
"Wrong CrossRefMap::count()"); |
|
547 |
|
|
548 |
CRMap::ValueIt it = map.beginValue(); |
|
549 |
check(*it++ == 'A' && *it++ == 'B' && *it++ == 'C' && |
|
550 |
it == map.endValue(), "Wrong value iterator"); |
|
551 |
|
|
552 |
map.set(n2, 'A'); |
|
553 |
|
|
554 |
check(map[n0] == 'A' && map[n1] == 'B' && map[n2] == 'A', |
|
555 |
"Wrong CrossRefMap"); |
|
556 |
check(map('A') == n0 && map.inverse()['A'] == n0, "Wrong CrossRefMap"); |
|
557 |
check(map('B') == n1 && map.inverse()['B'] == n1, "Wrong CrossRefMap"); |
|
558 |
check(map('C') == INVALID && map.inverse()['C'] == INVALID, |
|
559 |
"Wrong CrossRefMap"); |
|
560 |
check(map.count('A') == 2 && map.count('B') == 1 && map.count('C') == 0, |
|
561 |
"Wrong CrossRefMap::count()"); |
|
562 |
|
|
563 |
it = map.beginValue(); |
|
564 |
check(*it++ == 'A' && *it++ == 'A' && *it++ == 'B' && |
|
565 |
it == map.endValue(), "Wrong value iterator"); |
|
566 |
|
|
567 |
map.set(n0, 'C'); |
|
568 |
|
|
569 |
check(map[n0] == 'C' && map[n1] == 'B' && map[n2] == 'A', |
|
570 |
"Wrong CrossRefMap"); |
|
571 |
check(map('A') == n2 && map.inverse()['A'] == n2, "Wrong CrossRefMap"); |
|
572 |
check(map('B') == n1 && map.inverse()['B'] == n1, "Wrong CrossRefMap"); |
|
573 |
check(map('C') == n0 && map.inverse()['C'] == n0, "Wrong CrossRefMap"); |
|
574 |
check(map.count('A') == 1 && map.count('B') == 1 && map.count('C') == 1, |
|
575 |
"Wrong CrossRefMap::count()"); |
|
576 |
|
|
577 |
it = map.beginValue(); |
|
578 |
check(*it++ == 'A' && *it++ == 'B' && *it++ == 'C' && |
|
579 |
it == map.endValue(), "Wrong value iterator"); |
|
351 | 580 |
} |
... | ... |
@@ -548,6 +777,6 @@ |
548 | 777 |
|
549 |
for (Ivm:: |
|
778 |
for (Ivm::ValueIt vit = map1.beginValue(); |
|
550 | 779 |
vit != map1.endValue(); ++vit) { |
551 | 780 |
check(map1[static_cast<Item>(Ivm::ItemIt(map1, *vit))] == *vit, |
552 |
"Wrong |
|
781 |
"Wrong ValueIt"); |
|
553 | 782 |
} |
0 comments (0 inline)