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)