0
7
0
143
105
145
107
127
99
28
11
26
6
| ... | ... |
@@ -28,6 +28,7 @@ |
| 28 | 28 |
#include <lemon/core.h> |
| 29 | 29 |
#include <lemon/error.h> |
| 30 | 30 |
#include <lemon/maps.h> |
| 31 |
#include <lemon/path.h> |
|
| 31 | 32 |
|
| 32 | 33 |
namespace lemon {
|
| 33 | 34 |
|
| ... | ... |
@@ -115,7 +116,7 @@ |
| 115 | 116 |
///\ingroup search |
| 116 | 117 |
///This class provides an efficient implementation of the %BFS algorithm. |
| 117 | 118 |
/// |
| 118 |
///There is also a \ref bfs() "function |
|
| 119 |
///There is also a \ref bfs() "function-type interface" for the BFS |
|
| 119 | 120 |
///algorithm, which is convenient in the simplier cases and it can be |
| 120 | 121 |
///used easier. |
| 121 | 122 |
/// |
| ... | ... |
@@ -841,26 +842,23 @@ |
| 841 | 842 |
///The type of the map that stores the predecessor |
| 842 | 843 |
///arcs of the shortest paths. |
| 843 | 844 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 844 |
typedef |
|
| 845 |
typedef typename Digraph::template NodeMap<typename Digraph::Arc> PredMap; |
|
| 845 | 846 |
///Instantiates a \ref PredMap. |
| 846 | 847 |
|
| 847 | 848 |
///This function instantiates a \ref PredMap. |
| 848 | 849 |
///\param g is the digraph, to which we would like to define the |
| 849 | 850 |
///\ref PredMap. |
| 850 | 851 |
///\todo The digraph alone may be insufficient to initialize |
| 851 |
#ifdef DOXYGEN |
|
| 852 | 852 |
static PredMap *createPredMap(const Digraph &g) |
| 853 |
#else |
|
| 854 |
static PredMap *createPredMap(const Digraph &) |
|
| 855 |
#endif |
|
| 856 | 853 |
{
|
| 857 |
return new PredMap(); |
|
| 854 |
return new PredMap(g); |
|
| 858 | 855 |
} |
| 859 | 856 |
|
| 860 | 857 |
///The type of the map that indicates which nodes are processed. |
| 861 | 858 |
|
| 862 | 859 |
///The type of the map that indicates which nodes are processed. |
| 863 | 860 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 861 |
///By default it is a NullMap. |
|
| 864 | 862 |
typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
| 865 | 863 |
///Instantiates a \ref ProcessedMap. |
| 866 | 864 |
|
| ... | ... |
@@ -895,21 +893,22 @@ |
| 895 | 893 |
|
| 896 | 894 |
///The type of the map that stores the distances of the nodes. |
| 897 | 895 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 898 |
/// |
|
| 899 |
typedef NullMap<typename Digraph::Node,int> DistMap; |
|
| 896 |
typedef typename Digraph::template NodeMap<int> DistMap; |
|
| 900 | 897 |
///Instantiates a \ref DistMap. |
| 901 | 898 |
|
| 902 | 899 |
///This function instantiates a \ref DistMap. |
| 903 | 900 |
///\param g is the digraph, to which we would like to define |
| 904 | 901 |
///the \ref DistMap |
| 905 |
#ifdef DOXYGEN |
|
| 906 | 902 |
static DistMap *createDistMap(const Digraph &g) |
| 907 |
#else |
|
| 908 |
static DistMap *createDistMap(const Digraph &) |
|
| 909 |
#endif |
|
| 910 | 903 |
{
|
| 911 |
return new DistMap(); |
|
| 904 |
return new DistMap(g); |
|
| 912 | 905 |
} |
| 906 |
|
|
| 907 |
///The type of the shortest paths. |
|
| 908 |
|
|
| 909 |
///The type of the shortest paths. |
|
| 910 |
///It must meet the \ref concepts::Path "Path" concept. |
|
| 911 |
typedef lemon::Path<Digraph> Path; |
|
| 913 | 912 |
}; |
| 914 | 913 |
|
| 915 | 914 |
/// Default traits class used by \ref BfsWizard |
| ... | ... |
@@ -939,51 +938,39 @@ |
| 939 | 938 |
void *_pred; |
| 940 | 939 |
//Pointer to the map of distances. |
| 941 | 940 |
void *_dist; |
| 942 |
//Pointer to the source node. |
|
| 943 |
Node _source; |
|
| 941 |
//Pointer to the shortest path to the target node. |
|
| 942 |
void *_path; |
|
| 943 |
//Pointer to the distance of the target node. |
|
| 944 |
int *_di; |
|
| 944 | 945 |
|
| 945 | 946 |
public: |
| 946 | 947 |
/// Constructor. |
| 947 | 948 |
|
| 948 | 949 |
/// This constructor does not require parameters, therefore it initiates |
| 949 |
/// all of the attributes to |
|
| 950 |
/// all of the attributes to \c 0. |
|
| 950 | 951 |
BfsWizardBase() : _g(0), _reached(0), _processed(0), _pred(0), |
| 951 |
_dist(0), |
|
| 952 |
_dist(0), _path(0), _di(0) {}
|
|
| 952 | 953 |
|
| 953 | 954 |
/// Constructor. |
| 954 | 955 |
|
| 955 |
/// This constructor requires some parameters, |
|
| 956 |
/// listed in the parameters list. |
|
| 957 |
/// |
|
| 956 |
/// This constructor requires one parameter, |
|
| 957 |
/// others are initiated to \c 0. |
|
| 958 | 958 |
/// \param g The digraph the algorithm runs on. |
| 959 |
/// \param s The source node. |
|
| 960 |
BfsWizardBase(const GR &g, Node s=INVALID) : |
|
| 959 |
BfsWizardBase(const GR &g) : |
|
| 961 | 960 |
_g(reinterpret_cast<void*>(const_cast<GR*>(&g))), |
| 962 |
_reached(0), _processed(0), _pred(0), _dist(0), |
|
| 961 |
_reached(0), _processed(0), _pred(0), _dist(0), _path(0), _di(0) {}
|
|
| 963 | 962 |
|
| 964 | 963 |
}; |
| 965 | 964 |
|
| 966 |
/// Auxiliary class for the function |
|
| 965 |
/// Auxiliary class for the function-type interface of BFS algorithm. |
|
| 967 | 966 |
|
| 968 |
/// This auxiliary class is created to implement the function type |
|
| 969 |
/// interface of \ref Bfs algorithm. It uses the functions and features |
|
| 970 |
/// of the plain \ref Bfs, but it is much simpler to use it. |
|
| 971 |
/// It should only be used through the \ref bfs() function, which makes |
|
| 972 |
/// |
|
| 967 |
/// This auxiliary class is created to implement the |
|
| 968 |
/// \ref bfs() "function-type interface" of \ref Bfs algorithm. |
|
| 969 |
/// It does not have own \ref run() method, it uses the functions |
|
| 970 |
/// and features of the plain \ref Bfs. |
|
| 973 | 971 |
/// |
| 974 |
/// Simplicity means that the way to change the types defined |
|
| 975 |
/// in the traits class is based on functions that returns the new class |
|
| 976 |
/// and not on templatable built-in classes. |
|
| 977 |
/// When using the plain \ref Bfs |
|
| 978 |
/// the new class with the modified type comes from |
|
| 979 |
/// the original class by using the :: |
|
| 980 |
/// operator. In the case of \ref BfsWizard only |
|
| 981 |
/// a function have to be called, and it will |
|
| 982 |
/// return the needed class. |
|
| 983 |
/// |
|
| 984 |
/// It does not have own \ref run() method. When its \ref run() method |
|
| 985 |
/// is called, it initiates a plain \ref Bfs object, and calls the |
|
| 986 |
/// \ref |
|
| 972 |
/// This class should only be used through the \ref bfs() function, |
|
| 973 |
/// which makes it easier to use the algorithm. |
|
| 987 | 974 |
template<class TR> |
| 988 | 975 |
class BfsWizard : public TR |
| 989 | 976 |
{
|
| ... | ... |
@@ -1006,6 +993,8 @@ |
| 1006 | 993 |
typedef typename TR::ReachedMap ReachedMap; |
| 1007 | 994 |
///\brief The type of the map that indicates which nodes are processed. |
| 1008 | 995 |
typedef typename TR::ProcessedMap ProcessedMap; |
| 996 |
///The type of the shortest paths |
|
| 997 |
typedef typename TR::Path Path; |
|
| 1009 | 998 |
|
| 1010 | 999 |
public: |
| 1011 | 1000 |
|
| ... | ... |
@@ -1016,51 +1005,70 @@ |
| 1016 | 1005 |
|
| 1017 | 1006 |
/// Constructor that requires parameters. |
| 1018 | 1007 |
/// These parameters will be the default values for the traits class. |
| 1019 |
BfsWizard(const Digraph &g, Node s=INVALID) : |
|
| 1020 |
TR(g,s) {}
|
|
| 1008 |
/// \param g The digraph the algorithm runs on. |
|
| 1009 |
BfsWizard(const Digraph &g) : |
|
| 1010 |
TR(g) {}
|
|
| 1021 | 1011 |
|
| 1022 | 1012 |
///Copy constructor |
| 1023 | 1013 |
BfsWizard(const TR &b) : TR(b) {}
|
| 1024 | 1014 |
|
| 1025 | 1015 |
~BfsWizard() {}
|
| 1026 | 1016 |
|
| 1027 |
///Runs BFS algorithm from |
|
| 1017 |
///Runs BFS algorithm from the given source node. |
|
| 1028 | 1018 |
|
| 1029 |
///Runs BFS algorithm from a source node. |
|
| 1030 |
///The node can be given with the \ref source() function. |
|
| 1019 |
///This method runs BFS algorithm from node \c s |
|
| 1020 |
///in order to compute the shortest path to each node. |
|
| 1021 |
void run(Node s) |
|
| 1022 |
{
|
|
| 1023 |
Bfs<Digraph,TR> alg(*reinterpret_cast<const Digraph*>(Base::_g)); |
|
| 1024 |
if (Base::_pred) |
|
| 1025 |
alg.predMap(*reinterpret_cast<PredMap*>(Base::_pred)); |
|
| 1026 |
if (Base::_dist) |
|
| 1027 |
alg.distMap(*reinterpret_cast<DistMap*>(Base::_dist)); |
|
| 1028 |
if (Base::_reached) |
|
| 1029 |
alg.reachedMap(*reinterpret_cast<ReachedMap*>(Base::_reached)); |
|
| 1030 |
if (Base::_processed) |
|
| 1031 |
alg.processedMap(*reinterpret_cast<ProcessedMap*>(Base::_processed)); |
|
| 1032 |
if (s!=INVALID) |
|
| 1033 |
alg.run(s); |
|
| 1034 |
else |
|
| 1035 |
alg.run(); |
|
| 1036 |
} |
|
| 1037 |
|
|
| 1038 |
///Finds the shortest path between \c s and \c t. |
|
| 1039 |
|
|
| 1040 |
///This method runs BFS algorithm from node \c s |
|
| 1041 |
///in order to compute the shortest path to node \c t |
|
| 1042 |
///(it stops searching when \c t is processed). |
|
| 1043 |
/// |
|
| 1044 |
///\return \c true if \c t is reachable form \c s. |
|
| 1045 |
bool run(Node s, Node t) |
|
| 1046 |
{
|
|
| 1047 |
if (s==INVALID || t==INVALID) throw UninitializedParameter(); |
|
| 1048 |
Bfs<Digraph,TR> alg(*reinterpret_cast<const Digraph*>(Base::_g)); |
|
| 1049 |
if (Base::_pred) |
|
| 1050 |
alg.predMap(*reinterpret_cast<PredMap*>(Base::_pred)); |
|
| 1051 |
if (Base::_dist) |
|
| 1052 |
alg.distMap(*reinterpret_cast<DistMap*>(Base::_dist)); |
|
| 1053 |
if (Base::_reached) |
|
| 1054 |
alg.reachedMap(*reinterpret_cast<ReachedMap*>(Base::_reached)); |
|
| 1055 |
if (Base::_processed) |
|
| 1056 |
alg.processedMap(*reinterpret_cast<ProcessedMap*>(Base::_processed)); |
|
| 1057 |
alg.run(s,t); |
|
| 1058 |
if (Base::_path) |
|
| 1059 |
*reinterpret_cast<Path*>(Base::_path) = alg.path(t); |
|
| 1060 |
if (Base::_di) |
|
| 1061 |
*Base::_di = alg.dist(t); |
|
| 1062 |
return alg.reached(t); |
|
| 1063 |
} |
|
| 1064 |
|
|
| 1065 |
///Runs BFS algorithm to visit all nodes in the digraph. |
|
| 1066 |
|
|
| 1067 |
///This method runs BFS algorithm in order to compute |
|
| 1068 |
///the shortest path to each node. |
|
| 1031 | 1069 |
void run() |
| 1032 | 1070 |
{
|
| 1033 |
if(Base::_source==INVALID) throw UninitializedParameter(); |
|
| 1034 |
Bfs<Digraph,TR> alg(*reinterpret_cast<const Digraph*>(Base::_g)); |
|
| 1035 |
if(Base::_reached) |
|
| 1036 |
alg.reachedMap(*reinterpret_cast<ReachedMap*>(Base::_reached)); |
|
| 1037 |
if(Base::_processed) |
|
| 1038 |
alg.processedMap(*reinterpret_cast<ProcessedMap*>(Base::_processed)); |
|
| 1039 |
if(Base::_pred) |
|
| 1040 |
alg.predMap(*reinterpret_cast<PredMap*>(Base::_pred)); |
|
| 1041 |
if(Base::_dist) |
|
| 1042 |
alg.distMap(*reinterpret_cast<DistMap*>(Base::_dist)); |
|
| 1043 |
alg.run(Base::_source); |
|
| 1044 |
} |
|
| 1045 |
|
|
| 1046 |
///Runs BFS algorithm from the given node. |
|
| 1047 |
|
|
| 1048 |
///Runs BFS algorithm from the given node. |
|
| 1049 |
///\param s is the given source. |
|
| 1050 |
void run(Node s) |
|
| 1051 |
{
|
|
| 1052 |
Base::_source=s; |
|
| 1053 |
run(); |
|
| 1054 |
} |
|
| 1055 |
|
|
| 1056 |
/// Sets the source node, from which the Bfs algorithm runs. |
|
| 1057 |
|
|
| 1058 |
/// Sets the source node, from which the Bfs algorithm runs. |
|
| 1059 |
/// \param s is the source node. |
|
| 1060 |
BfsWizard<TR> &source(Node s) |
|
| 1061 |
{
|
|
| 1062 |
Base::_source=s; |
|
| 1063 |
|
|
| 1071 |
run(INVALID); |
|
| 1064 | 1072 |
} |
| 1065 | 1073 |
|
| 1066 | 1074 |
template<class T> |
| ... | ... |
@@ -1069,10 +1077,10 @@ |
| 1069 | 1077 |
static PredMap *createPredMap(const Digraph &) { return 0; };
|
| 1070 | 1078 |
SetPredMapBase(const TR &b) : TR(b) {}
|
| 1071 | 1079 |
}; |
| 1072 |
///\brief \ref named- |
|
| 1080 |
///\brief \ref named-func-param "Named parameter" |
|
| 1073 | 1081 |
///for setting \ref PredMap object. |
| 1074 | 1082 |
/// |
| 1075 |
/// |
|
| 1083 |
///\ref named-func-param "Named parameter" |
|
| 1076 | 1084 |
///for setting \ref PredMap object. |
| 1077 | 1085 |
template<class T> |
| 1078 | 1086 |
BfsWizard<SetPredMapBase<T> > predMap(const T &t) |
| ... | ... |
@@ -1087,10 +1095,10 @@ |
| 1087 | 1095 |
static ReachedMap *createReachedMap(const Digraph &) { return 0; };
|
| 1088 | 1096 |
SetReachedMapBase(const TR &b) : TR(b) {}
|
| 1089 | 1097 |
}; |
| 1090 |
///\brief \ref named- |
|
| 1098 |
///\brief \ref named-func-param "Named parameter" |
|
| 1091 | 1099 |
///for setting \ref ReachedMap object. |
| 1092 | 1100 |
/// |
| 1093 |
/// \ref named- |
|
| 1101 |
/// \ref named-func-param "Named parameter" |
|
| 1094 | 1102 |
///for setting \ref ReachedMap object. |
| 1095 | 1103 |
template<class T> |
| 1096 | 1104 |
BfsWizard<SetReachedMapBase<T> > reachedMap(const T &t) |
| ... | ... |
@@ -1100,15 +1108,33 @@ |
| 1100 | 1108 |
} |
| 1101 | 1109 |
|
| 1102 | 1110 |
template<class T> |
| 1111 |
struct SetDistMapBase : public Base {
|
|
| 1112 |
typedef T DistMap; |
|
| 1113 |
static DistMap *createDistMap(const Digraph &) { return 0; };
|
|
| 1114 |
SetDistMapBase(const TR &b) : TR(b) {}
|
|
| 1115 |
}; |
|
| 1116 |
///\brief \ref named-func-param "Named parameter" |
|
| 1117 |
///for setting \ref DistMap object. |
|
| 1118 |
/// |
|
| 1119 |
/// \ref named-func-param "Named parameter" |
|
| 1120 |
///for setting \ref DistMap object. |
|
| 1121 |
template<class T> |
|
| 1122 |
BfsWizard<SetDistMapBase<T> > distMap(const T &t) |
|
| 1123 |
{
|
|
| 1124 |
Base::_dist=reinterpret_cast<void*>(const_cast<T*>(&t)); |
|
| 1125 |
return BfsWizard<SetDistMapBase<T> >(*this); |
|
| 1126 |
} |
|
| 1127 |
|
|
| 1128 |
template<class T> |
|
| 1103 | 1129 |
struct SetProcessedMapBase : public Base {
|
| 1104 | 1130 |
typedef T ProcessedMap; |
| 1105 | 1131 |
static ProcessedMap *createProcessedMap(const Digraph &) { return 0; };
|
| 1106 | 1132 |
SetProcessedMapBase(const TR &b) : TR(b) {}
|
| 1107 | 1133 |
}; |
| 1108 |
///\brief \ref named- |
|
| 1134 |
///\brief \ref named-func-param "Named parameter" |
|
| 1109 | 1135 |
///for setting \ref ProcessedMap object. |
| 1110 | 1136 |
/// |
| 1111 |
/// \ref named- |
|
| 1137 |
/// \ref named-func-param "Named parameter" |
|
| 1112 | 1138 |
///for setting \ref ProcessedMap object. |
| 1113 | 1139 |
template<class T> |
| 1114 | 1140 |
BfsWizard<SetProcessedMapBase<T> > processedMap(const T &t) |
| ... | ... |
@@ -1118,37 +1144,49 @@ |
| 1118 | 1144 |
} |
| 1119 | 1145 |
|
| 1120 | 1146 |
template<class T> |
| 1121 |
struct SetDistMapBase : public Base {
|
|
| 1122 |
typedef T DistMap; |
|
| 1123 |
static DistMap *createDistMap(const Digraph &) { return 0; };
|
|
| 1124 |
SetDistMapBase(const TR &b) : TR(b) {}
|
|
| 1147 |
struct SetPathBase : public Base {
|
|
| 1148 |
typedef T Path; |
|
| 1149 |
SetPathBase(const TR &b) : TR(b) {}
|
|
| 1125 | 1150 |
}; |
| 1126 |
///\brief \ref named-templ-param "Named parameter" |
|
| 1127 |
///for setting \ref DistMap object. |
|
| 1151 |
///\brief \ref named-func-param "Named parameter" |
|
| 1152 |
///for getting the shortest path to the target node. |
|
| 1128 | 1153 |
/// |
| 1129 |
/// \ref named-templ-param "Named parameter" |
|
| 1130 |
///for setting \ref DistMap object. |
|
| 1154 |
///\ref named-func-param "Named parameter" |
|
| 1155 |
///for getting the shortest path to the target node. |
|
| 1131 | 1156 |
template<class T> |
| 1132 |
BfsWizard< |
|
| 1157 |
BfsWizard<SetPathBase<T> > path(const T &t) |
|
| 1133 | 1158 |
{
|
| 1134 |
Base::_dist=reinterpret_cast<void*>(const_cast<T*>(&t)); |
|
| 1135 |
return BfsWizard<SetDistMapBase<T> >(*this); |
|
| 1159 |
Base::_path=reinterpret_cast<void*>(const_cast<T*>(&t)); |
|
| 1160 |
return BfsWizard<SetPathBase<T> >(*this); |
|
| 1161 |
} |
|
| 1162 |
|
|
| 1163 |
///\brief \ref named-func-param "Named parameter" |
|
| 1164 |
///for getting the distance of the target node. |
|
| 1165 |
/// |
|
| 1166 |
///\ref named-func-param "Named parameter" |
|
| 1167 |
///for getting the distance of the target node. |
|
| 1168 |
BfsWizard dist(const int &d) |
|
| 1169 |
{
|
|
| 1170 |
Base::_di=const_cast<int*>(&d); |
|
| 1171 |
return *this; |
|
| 1136 | 1172 |
} |
| 1137 | 1173 |
|
| 1138 | 1174 |
}; |
| 1139 | 1175 |
|
| 1140 |
///Function |
|
| 1176 |
///Function-type interface for BFS algorithm. |
|
| 1141 | 1177 |
|
| 1142 | 1178 |
/// \ingroup search |
| 1143 |
///Function |
|
| 1179 |
///Function-type interface for BFS algorithm. |
|
| 1144 | 1180 |
/// |
| 1145 |
///This function also has several |
|
| 1146 |
///\ref named-templ-func-param "named parameters", |
|
| 1181 |
///This function also has several \ref named-func-param "named parameters", |
|
| 1147 | 1182 |
///they are declared as the members of class \ref BfsWizard. |
| 1148 |
///The following |
|
| 1149 |
///example shows how to use these parameters. |
|
| 1183 |
///The following examples show how to use these parameters. |
|
| 1150 | 1184 |
///\code |
| 1151 |
/// |
|
| 1185 |
/// // Compute shortest path from node s to each node |
|
| 1186 |
/// bfs(g).predMap(preds).distMap(dists).run(s); |
|
| 1187 |
/// |
|
| 1188 |
/// // Compute shortest path from s to t |
|
| 1189 |
/// bool reached = bfs(g).path(p).dist(d).run(s,t); |
|
| 1152 | 1190 |
///\endcode |
| 1153 | 1191 |
///\warning Don't forget to put the \ref BfsWizard::run() "run()" |
| 1154 | 1192 |
///to the end of the parameter list. |
| ... | ... |
@@ -1156,9 +1194,9 @@ |
| 1156 | 1194 |
///\sa Bfs |
| 1157 | 1195 |
template<class GR> |
| 1158 | 1196 |
BfsWizard<BfsWizardBase<GR> > |
| 1159 |
bfs(const GR & |
|
| 1197 |
bfs(const GR &digraph) |
|
| 1160 | 1198 |
{
|
| 1161 |
return BfsWizard<BfsWizardBase<GR> >( |
|
| 1199 |
return BfsWizard<BfsWizardBase<GR> >(digraph); |
|
| 1162 | 1200 |
} |
| 1163 | 1201 |
|
| 1164 | 1202 |
#ifdef DOXYGEN |
| ... | ... |
@@ -66,7 +66,10 @@ |
| 66 | 66 |
|
| 67 | 67 |
/// \brief Template assigment |
| 68 | 68 |
template <typename CPath> |
| 69 |
Path& operator=(const CPath& cpath) {
|
|
| 69 |
Path& operator=(const CPath& cpath) {
|
|
| 70 |
ignore_unused_variable_warning(cpath); |
|
| 71 |
return *this; |
|
| 72 |
} |
|
| 70 | 73 |
|
| 71 | 74 |
/// Length of the path ie. the number of arcs in the path. |
| 72 | 75 |
int length() const { return 0;}
|
| ... | ... |
@@ -29,6 +29,7 @@ |
| 29 | 29 |
#include <lemon/error.h> |
| 30 | 30 |
#include <lemon/assert.h> |
| 31 | 31 |
#include <lemon/maps.h> |
| 32 |
#include <lemon/path.h> |
|
| 32 | 33 |
|
| 33 | 34 |
namespace lemon {
|
| 34 | 35 |
|
| ... | ... |
@@ -116,7 +117,7 @@ |
| 116 | 117 |
///\ingroup search |
| 117 | 118 |
///This class provides an efficient implementation of the %DFS algorithm. |
| 118 | 119 |
/// |
| 119 |
///There is also a \ref dfs() "function |
|
| 120 |
///There is also a \ref dfs() "function-type interface" for the DFS |
|
| 120 | 121 |
///algorithm, which is convenient in the simplier cases and it can be |
| 121 | 122 |
///used easier. |
| 122 | 123 |
/// |
| ... | ... |
@@ -775,27 +776,23 @@ |
| 775 | 776 |
///The type of the map that stores the predecessor |
| 776 | 777 |
///arcs of the %DFS paths. |
| 777 | 778 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 778 |
/// |
|
| 779 |
typedef NullMap<typename Digraph::Node,typename Digraph::Arc> PredMap; |
|
| 779 |
typedef typename Digraph::template NodeMap<typename Digraph::Arc> PredMap; |
|
| 780 | 780 |
///Instantiates a \ref PredMap. |
| 781 | 781 |
|
| 782 | 782 |
///This function instantiates a \ref PredMap. |
| 783 | 783 |
///\param g is the digraph, to which we would like to define the |
| 784 | 784 |
///\ref PredMap. |
| 785 | 785 |
///\todo The digraph alone may be insufficient to initialize |
| 786 |
#ifdef DOXYGEN |
|
| 787 | 786 |
static PredMap *createPredMap(const Digraph &g) |
| 788 |
#else |
|
| 789 |
static PredMap *createPredMap(const Digraph &) |
|
| 790 |
#endif |
|
| 791 | 787 |
{
|
| 792 |
return new PredMap(); |
|
| 788 |
return new PredMap(g); |
|
| 793 | 789 |
} |
| 794 | 790 |
|
| 795 | 791 |
///The type of the map that indicates which nodes are processed. |
| 796 | 792 |
|
| 797 | 793 |
///The type of the map that indicates which nodes are processed. |
| 798 | 794 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 795 |
///By default it is a NullMap. |
|
| 799 | 796 |
typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
| 800 | 797 |
///Instantiates a \ref ProcessedMap. |
| 801 | 798 |
|
| ... | ... |
@@ -830,21 +827,22 @@ |
| 830 | 827 |
|
| 831 | 828 |
///The type of the map that stores the distances of the nodes. |
| 832 | 829 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 833 |
/// |
|
| 834 |
typedef NullMap<typename Digraph::Node,int> DistMap; |
|
| 830 |
typedef typename Digraph::template NodeMap<int> DistMap; |
|
| 835 | 831 |
///Instantiates a \ref DistMap. |
| 836 | 832 |
|
| 837 | 833 |
///This function instantiates a \ref DistMap. |
| 838 | 834 |
///\param g is the digraph, to which we would like to define |
| 839 | 835 |
///the \ref DistMap |
| 840 |
#ifdef DOXYGEN |
|
| 841 | 836 |
static DistMap *createDistMap(const Digraph &g) |
| 842 |
#else |
|
| 843 |
static DistMap *createDistMap(const Digraph &) |
|
| 844 |
#endif |
|
| 845 | 837 |
{
|
| 846 |
return new DistMap(); |
|
| 838 |
return new DistMap(g); |
|
| 847 | 839 |
} |
| 840 |
|
|
| 841 |
///The type of the DFS paths. |
|
| 842 |
|
|
| 843 |
///The type of the DFS paths. |
|
| 844 |
///It must meet the \ref concepts::Path "Path" concept. |
|
| 845 |
typedef lemon::Path<Digraph> Path; |
|
| 848 | 846 |
}; |
| 849 | 847 |
|
| 850 | 848 |
/// Default traits class used by \ref DfsWizard |
| ... | ... |
@@ -874,51 +872,39 @@ |
| 874 | 872 |
void *_pred; |
| 875 | 873 |
//Pointer to the map of distances. |
| 876 | 874 |
void *_dist; |
| 877 |
//Pointer to the source node. |
|
| 878 |
Node _source; |
|
| 875 |
//Pointer to the DFS path to the target node. |
|
| 876 |
void *_path; |
|
| 877 |
//Pointer to the distance of the target node. |
|
| 878 |
int *_di; |
|
| 879 | 879 |
|
| 880 | 880 |
public: |
| 881 | 881 |
/// Constructor. |
| 882 | 882 |
|
| 883 | 883 |
/// This constructor does not require parameters, therefore it initiates |
| 884 |
/// all of the attributes to |
|
| 884 |
/// all of the attributes to \c 0. |
|
| 885 | 885 |
DfsWizardBase() : _g(0), _reached(0), _processed(0), _pred(0), |
| 886 |
_dist(0), |
|
| 886 |
_dist(0), _path(0), _di(0) {}
|
|
| 887 | 887 |
|
| 888 | 888 |
/// Constructor. |
| 889 | 889 |
|
| 890 |
/// This constructor requires some parameters, |
|
| 891 |
/// listed in the parameters list. |
|
| 892 |
/// |
|
| 890 |
/// This constructor requires one parameter, |
|
| 891 |
/// others are initiated to \c 0. |
|
| 893 | 892 |
/// \param g The digraph the algorithm runs on. |
| 894 |
/// \param s The source node. |
|
| 895 |
DfsWizardBase(const GR &g, Node s=INVALID) : |
|
| 893 |
DfsWizardBase(const GR &g) : |
|
| 896 | 894 |
_g(reinterpret_cast<void*>(const_cast<GR*>(&g))), |
| 897 |
_reached(0), _processed(0), _pred(0), _dist(0), |
|
| 895 |
_reached(0), _processed(0), _pred(0), _dist(0), _path(0), _di(0) {}
|
|
| 898 | 896 |
|
| 899 | 897 |
}; |
| 900 | 898 |
|
| 901 |
/// Auxiliary class for the function |
|
| 899 |
/// Auxiliary class for the function-type interface of DFS algorithm. |
|
| 902 | 900 |
|
| 903 |
/// This auxiliary class is created to implement the function type |
|
| 904 |
/// interface of \ref Dfs algorithm. It uses the functions and features |
|
| 905 |
/// of the plain \ref Dfs, but it is much simpler to use it. |
|
| 906 |
/// It should only be used through the \ref dfs() function, which makes |
|
| 907 |
/// |
|
| 901 |
/// This auxiliary class is created to implement the |
|
| 902 |
/// \ref dfs() "function-type interface" of \ref Dfs algorithm. |
|
| 903 |
/// It does not have own \ref run() method, it uses the functions |
|
| 904 |
/// and features of the plain \ref Dfs. |
|
| 908 | 905 |
/// |
| 909 |
/// Simplicity means that the way to change the types defined |
|
| 910 |
/// in the traits class is based on functions that returns the new class |
|
| 911 |
/// and not on templatable built-in classes. |
|
| 912 |
/// When using the plain \ref Dfs |
|
| 913 |
/// the new class with the modified type comes from |
|
| 914 |
/// the original class by using the :: |
|
| 915 |
/// operator. In the case of \ref DfsWizard only |
|
| 916 |
/// a function have to be called, and it will |
|
| 917 |
/// return the needed class. |
|
| 918 |
/// |
|
| 919 |
/// It does not have own \ref run() method. When its \ref run() method |
|
| 920 |
/// is called, it initiates a plain \ref Dfs object, and calls the |
|
| 921 |
/// \ref |
|
| 906 |
/// This class should only be used through the \ref dfs() function, |
|
| 907 |
/// which makes it easier to use the algorithm. |
|
| 922 | 908 |
template<class TR> |
| 923 | 909 |
class DfsWizard : public TR |
| 924 | 910 |
{
|
| ... | ... |
@@ -933,7 +919,7 @@ |
| 933 | 919 |
typedef typename Digraph::OutArcIt OutArcIt; |
| 934 | 920 |
|
| 935 | 921 |
///\brief The type of the map that stores the predecessor |
| 936 |
///arcs of the |
|
| 922 |
///arcs of the DFS paths. |
|
| 937 | 923 |
typedef typename TR::PredMap PredMap; |
| 938 | 924 |
///\brief The type of the map that stores the distances of the nodes. |
| 939 | 925 |
typedef typename TR::DistMap DistMap; |
| ... | ... |
@@ -941,6 +927,8 @@ |
| 941 | 927 |
typedef typename TR::ReachedMap ReachedMap; |
| 942 | 928 |
///\brief The type of the map that indicates which nodes are processed. |
| 943 | 929 |
typedef typename TR::ProcessedMap ProcessedMap; |
| 930 |
///The type of the DFS paths |
|
| 931 |
typedef typename TR::Path Path; |
|
| 944 | 932 |
|
| 945 | 933 |
public: |
| 946 | 934 |
|
| ... | ... |
@@ -951,51 +939,70 @@ |
| 951 | 939 |
|
| 952 | 940 |
/// Constructor that requires parameters. |
| 953 | 941 |
/// These parameters will be the default values for the traits class. |
| 954 |
DfsWizard(const Digraph &g, Node s=INVALID) : |
|
| 955 |
TR(g,s) {}
|
|
| 942 |
/// \param g The digraph the algorithm runs on. |
|
| 943 |
DfsWizard(const Digraph &g) : |
|
| 944 |
TR(g) {}
|
|
| 956 | 945 |
|
| 957 | 946 |
///Copy constructor |
| 958 | 947 |
DfsWizard(const TR &b) : TR(b) {}
|
| 959 | 948 |
|
| 960 | 949 |
~DfsWizard() {}
|
| 961 | 950 |
|
| 962 |
///Runs DFS algorithm from |
|
| 951 |
///Runs DFS algorithm from the given source node. |
|
| 963 | 952 |
|
| 964 |
///Runs DFS algorithm from a source node. |
|
| 965 |
///The node can be given with the \ref source() function. |
|
| 953 |
///This method runs DFS algorithm from node \c s |
|
| 954 |
///in order to compute the DFS path to each node. |
|
| 955 |
void run(Node s) |
|
| 956 |
{
|
|
| 957 |
Dfs<Digraph,TR> alg(*reinterpret_cast<const Digraph*>(Base::_g)); |
|
| 958 |
if (Base::_pred) |
|
| 959 |
alg.predMap(*reinterpret_cast<PredMap*>(Base::_pred)); |
|
| 960 |
if (Base::_dist) |
|
| 961 |
alg.distMap(*reinterpret_cast<DistMap*>(Base::_dist)); |
|
| 962 |
if (Base::_reached) |
|
| 963 |
alg.reachedMap(*reinterpret_cast<ReachedMap*>(Base::_reached)); |
|
| 964 |
if (Base::_processed) |
|
| 965 |
alg.processedMap(*reinterpret_cast<ProcessedMap*>(Base::_processed)); |
|
| 966 |
if (s!=INVALID) |
|
| 967 |
alg.run(s); |
|
| 968 |
else |
|
| 969 |
alg.run(); |
|
| 970 |
} |
|
| 971 |
|
|
| 972 |
///Finds the DFS path between \c s and \c t. |
|
| 973 |
|
|
| 974 |
///This method runs DFS algorithm from node \c s |
|
| 975 |
///in order to compute the DFS path to node \c t |
|
| 976 |
///(it stops searching when \c t is processed). |
|
| 977 |
/// |
|
| 978 |
///\return \c true if \c t is reachable form \c s. |
|
| 979 |
bool run(Node s, Node t) |
|
| 980 |
{
|
|
| 981 |
if (s==INVALID || t==INVALID) throw UninitializedParameter(); |
|
| 982 |
Dfs<Digraph,TR> alg(*reinterpret_cast<const Digraph*>(Base::_g)); |
|
| 983 |
if (Base::_pred) |
|
| 984 |
alg.predMap(*reinterpret_cast<PredMap*>(Base::_pred)); |
|
| 985 |
if (Base::_dist) |
|
| 986 |
alg.distMap(*reinterpret_cast<DistMap*>(Base::_dist)); |
|
| 987 |
if (Base::_reached) |
|
| 988 |
alg.reachedMap(*reinterpret_cast<ReachedMap*>(Base::_reached)); |
|
| 989 |
if (Base::_processed) |
|
| 990 |
alg.processedMap(*reinterpret_cast<ProcessedMap*>(Base::_processed)); |
|
| 991 |
alg.run(s,t); |
|
| 992 |
if (Base::_path) |
|
| 993 |
*reinterpret_cast<Path*>(Base::_path) = alg.path(t); |
|
| 994 |
if (Base::_di) |
|
| 995 |
*Base::_di = alg.dist(t); |
|
| 996 |
return alg.reached(t); |
|
| 997 |
} |
|
| 998 |
|
|
| 999 |
///Runs DFS algorithm to visit all nodes in the digraph. |
|
| 1000 |
|
|
| 1001 |
///This method runs DFS algorithm in order to compute |
|
| 1002 |
///the DFS path to each node. |
|
| 966 | 1003 |
void run() |
| 967 | 1004 |
{
|
| 968 |
if(Base::_source==INVALID) throw UninitializedParameter(); |
|
| 969 |
Dfs<Digraph,TR> alg(*reinterpret_cast<const Digraph*>(Base::_g)); |
|
| 970 |
if(Base::_reached) |
|
| 971 |
alg.reachedMap(*reinterpret_cast<ReachedMap*>(Base::_reached)); |
|
| 972 |
if(Base::_processed) |
|
| 973 |
alg.processedMap(*reinterpret_cast<ProcessedMap*>(Base::_processed)); |
|
| 974 |
if(Base::_pred) |
|
| 975 |
alg.predMap(*reinterpret_cast<PredMap*>(Base::_pred)); |
|
| 976 |
if(Base::_dist) |
|
| 977 |
alg.distMap(*reinterpret_cast<DistMap*>(Base::_dist)); |
|
| 978 |
alg.run(Base::_source); |
|
| 979 |
} |
|
| 980 |
|
|
| 981 |
///Runs DFS algorithm from the given node. |
|
| 982 |
|
|
| 983 |
///Runs DFS algorithm from the given node. |
|
| 984 |
///\param s is the given source. |
|
| 985 |
void run(Node s) |
|
| 986 |
{
|
|
| 987 |
Base::_source=s; |
|
| 988 |
run(); |
|
| 989 |
} |
|
| 990 |
|
|
| 991 |
/// Sets the source node, from which the Dfs algorithm runs. |
|
| 992 |
|
|
| 993 |
/// Sets the source node, from which the Dfs algorithm runs. |
|
| 994 |
/// \param s is the source node. |
|
| 995 |
DfsWizard<TR> &source(Node s) |
|
| 996 |
{
|
|
| 997 |
Base::_source=s; |
|
| 998 |
|
|
| 1005 |
run(INVALID); |
|
| 999 | 1006 |
} |
| 1000 | 1007 |
|
| 1001 | 1008 |
template<class T> |
| ... | ... |
@@ -1004,10 +1011,10 @@ |
| 1004 | 1011 |
static PredMap *createPredMap(const Digraph &) { return 0; };
|
| 1005 | 1012 |
SetPredMapBase(const TR &b) : TR(b) {}
|
| 1006 | 1013 |
}; |
| 1007 |
///\brief \ref named- |
|
| 1014 |
///\brief \ref named-func-param "Named parameter" |
|
| 1008 | 1015 |
///for setting \ref PredMap object. |
| 1009 | 1016 |
/// |
| 1010 |
///\ref named- |
|
| 1017 |
///\ref named-func-param "Named parameter" |
|
| 1011 | 1018 |
///for setting \ref PredMap object. |
| 1012 | 1019 |
template<class T> |
| 1013 | 1020 |
DfsWizard<SetPredMapBase<T> > predMap(const T &t) |
| ... | ... |
@@ -1022,10 +1029,10 @@ |
| 1022 | 1029 |
static ReachedMap *createReachedMap(const Digraph &) { return 0; };
|
| 1023 | 1030 |
SetReachedMapBase(const TR &b) : TR(b) {}
|
| 1024 | 1031 |
}; |
| 1025 |
///\brief \ref named- |
|
| 1032 |
///\brief \ref named-func-param "Named parameter" |
|
| 1026 | 1033 |
///for setting \ref ReachedMap object. |
| 1027 | 1034 |
/// |
| 1028 |
/// \ref named- |
|
| 1035 |
/// \ref named-func-param "Named parameter" |
|
| 1029 | 1036 |
///for setting \ref ReachedMap object. |
| 1030 | 1037 |
template<class T> |
| 1031 | 1038 |
DfsWizard<SetReachedMapBase<T> > reachedMap(const T &t) |
| ... | ... |
@@ -1035,15 +1042,33 @@ |
| 1035 | 1042 |
} |
| 1036 | 1043 |
|
| 1037 | 1044 |
template<class T> |
| 1045 |
struct SetDistMapBase : public Base {
|
|
| 1046 |
typedef T DistMap; |
|
| 1047 |
static DistMap *createDistMap(const Digraph &) { return 0; };
|
|
| 1048 |
SetDistMapBase(const TR &b) : TR(b) {}
|
|
| 1049 |
}; |
|
| 1050 |
///\brief \ref named-func-param "Named parameter" |
|
| 1051 |
///for setting \ref DistMap object. |
|
| 1052 |
/// |
|
| 1053 |
/// \ref named-func-param "Named parameter" |
|
| 1054 |
///for setting \ref DistMap object. |
|
| 1055 |
template<class T> |
|
| 1056 |
DfsWizard<SetDistMapBase<T> > distMap(const T &t) |
|
| 1057 |
{
|
|
| 1058 |
Base::_dist=reinterpret_cast<void*>(const_cast<T*>(&t)); |
|
| 1059 |
return DfsWizard<SetDistMapBase<T> >(*this); |
|
| 1060 |
} |
|
| 1061 |
|
|
| 1062 |
template<class T> |
|
| 1038 | 1063 |
struct SetProcessedMapBase : public Base {
|
| 1039 | 1064 |
typedef T ProcessedMap; |
| 1040 | 1065 |
static ProcessedMap *createProcessedMap(const Digraph &) { return 0; };
|
| 1041 | 1066 |
SetProcessedMapBase(const TR &b) : TR(b) {}
|
| 1042 | 1067 |
}; |
| 1043 |
///\brief \ref named- |
|
| 1068 |
///\brief \ref named-func-param "Named parameter" |
|
| 1044 | 1069 |
///for setting \ref ProcessedMap object. |
| 1045 | 1070 |
/// |
| 1046 |
/// \ref named- |
|
| 1071 |
/// \ref named-func-param "Named parameter" |
|
| 1047 | 1072 |
///for setting \ref ProcessedMap object. |
| 1048 | 1073 |
template<class T> |
| 1049 | 1074 |
DfsWizard<SetProcessedMapBase<T> > processedMap(const T &t) |
| ... | ... |
@@ -1053,47 +1078,60 @@ |
| 1053 | 1078 |
} |
| 1054 | 1079 |
|
| 1055 | 1080 |
template<class T> |
| 1056 |
struct SetDistMapBase : public Base {
|
|
| 1057 |
typedef T DistMap; |
|
| 1058 |
static DistMap *createDistMap(const Digraph &) { return 0; };
|
|
| 1059 |
SetDistMapBase(const TR &b) : TR(b) {}
|
|
| 1081 |
struct SetPathBase : public Base {
|
|
| 1082 |
typedef T Path; |
|
| 1083 |
SetPathBase(const TR &b) : TR(b) {}
|
|
| 1060 | 1084 |
}; |
| 1061 |
///\brief \ref named-templ-param "Named parameter" |
|
| 1062 |
///for setting \ref DistMap object. |
|
| 1085 |
///\brief \ref named-func-param "Named parameter" |
|
| 1086 |
///for getting the DFS path to the target node. |
|
| 1063 | 1087 |
/// |
| 1064 |
///\ref named-templ-param "Named parameter" |
|
| 1065 |
///for setting \ref DistMap object. |
|
| 1088 |
///\ref named-func-param "Named parameter" |
|
| 1089 |
///for getting the DFS path to the target node. |
|
| 1066 | 1090 |
template<class T> |
| 1067 |
DfsWizard< |
|
| 1091 |
DfsWizard<SetPathBase<T> > path(const T &t) |
|
| 1068 | 1092 |
{
|
| 1069 |
Base::_dist=reinterpret_cast<void*>(const_cast<T*>(&t)); |
|
| 1070 |
return DfsWizard<SetDistMapBase<T> >(*this); |
|
| 1093 |
Base::_path=reinterpret_cast<void*>(const_cast<T*>(&t)); |
|
| 1094 |
return DfsWizard<SetPathBase<T> >(*this); |
|
| 1095 |
} |
|
| 1096 |
|
|
| 1097 |
///\brief \ref named-func-param "Named parameter" |
|
| 1098 |
///for getting the distance of the target node. |
|
| 1099 |
/// |
|
| 1100 |
///\ref named-func-param "Named parameter" |
|
| 1101 |
///for getting the distance of the target node. |
|
| 1102 |
DfsWizard dist(const int &d) |
|
| 1103 |
{
|
|
| 1104 |
Base::_di=const_cast<int*>(&d); |
|
| 1105 |
return *this; |
|
| 1071 | 1106 |
} |
| 1072 | 1107 |
|
| 1073 | 1108 |
}; |
| 1074 | 1109 |
|
| 1075 |
///Function |
|
| 1110 |
///Function-type interface for DFS algorithm. |
|
| 1076 | 1111 |
|
| 1077 | 1112 |
///\ingroup search |
| 1078 |
///Function |
|
| 1113 |
///Function-type interface for DFS algorithm. |
|
| 1079 | 1114 |
/// |
| 1080 |
///This function also has several |
|
| 1081 |
///\ref named-templ-func-param "named parameters", |
|
| 1115 |
///This function also has several \ref named-func-param "named parameters", |
|
| 1082 | 1116 |
///they are declared as the members of class \ref DfsWizard. |
| 1083 |
///The following |
|
| 1084 |
///example shows how to use these parameters. |
|
| 1117 |
///The following examples show how to use these parameters. |
|
| 1085 | 1118 |
///\code |
| 1086 |
/// |
|
| 1119 |
/// // Compute the DFS tree |
|
| 1120 |
/// dfs(g).predMap(preds).distMap(dists).run(s); |
|
| 1121 |
/// |
|
| 1122 |
/// // Compute the DFS path from s to t |
|
| 1123 |
/// bool reached = dfs(g).path(p).dist(d).run(s,t); |
|
| 1087 | 1124 |
///\endcode |
| 1125 |
|
|
| 1088 | 1126 |
///\warning Don't forget to put the \ref DfsWizard::run() "run()" |
| 1089 | 1127 |
///to the end of the parameter list. |
| 1090 | 1128 |
///\sa DfsWizard |
| 1091 | 1129 |
///\sa Dfs |
| 1092 | 1130 |
template<class GR> |
| 1093 | 1131 |
DfsWizard<DfsWizardBase<GR> > |
| 1094 |
dfs(const GR & |
|
| 1132 |
dfs(const GR &digraph) |
|
| 1095 | 1133 |
{
|
| 1096 |
return DfsWizard<DfsWizardBase<GR> >( |
|
| 1134 |
return DfsWizard<DfsWizardBase<GR> >(digraph); |
|
| 1097 | 1135 |
} |
| 1098 | 1136 |
|
| 1099 | 1137 |
#ifdef DOXYGEN |
| ... | ... |
@@ -30,6 +30,7 @@ |
| 30 | 30 |
#include <lemon/core.h> |
| 31 | 31 |
#include <lemon/error.h> |
| 32 | 32 |
#include <lemon/maps.h> |
| 33 |
#include <lemon/path.h> |
|
| 33 | 34 |
|
| 34 | 35 |
namespace lemon {
|
| 35 | 36 |
|
| ... | ... |
@@ -199,7 +200,7 @@ |
| 199 | 200 |
///\ref concepts::ReadMap::Value "Value" of the length map. |
| 200 | 201 |
///It is also possible to change the underlying priority heap. |
| 201 | 202 |
/// |
| 202 |
///There is also a \ref dijkstra() "function |
|
| 203 |
///There is also a \ref dijkstra() "function-type interface" for the |
|
| 203 | 204 |
///%Dijkstra algorithm, which is convenient in the simplier cases and |
| 204 | 205 |
///it can be used easier. |
| 205 | 206 |
/// |
| ... | ... |
@@ -987,20 +988,16 @@ |
| 987 | 988 |
///The type of the map that stores the predecessor |
| 988 | 989 |
///arcs of the shortest paths. |
| 989 | 990 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 990 |
typedef |
|
| 991 |
typedef typename Digraph::template NodeMap<typename Digraph::Arc> PredMap; |
|
| 991 | 992 |
///Instantiates a \ref PredMap. |
| 992 | 993 |
|
| 993 | 994 |
///This function instantiates a \ref PredMap. |
| 994 | 995 |
///\param g is the digraph, to which we would like to define the |
| 995 | 996 |
///\ref PredMap. |
| 996 | 997 |
///\todo The digraph alone may be insufficient to initialize |
| 997 |
#ifdef DOXYGEN |
|
| 998 | 998 |
static PredMap *createPredMap(const Digraph &g) |
| 999 |
#else |
|
| 1000 |
static PredMap *createPredMap(const Digraph &) |
|
| 1001 |
#endif |
|
| 1002 | 999 |
{
|
| 1003 |
return new PredMap(); |
|
| 1000 |
return new PredMap(g); |
|
| 1004 | 1001 |
} |
| 1005 | 1002 |
|
| 1006 | 1003 |
///The type of the map that indicates which nodes are processed. |
| ... | ... |
@@ -1030,20 +1027,22 @@ |
| 1030 | 1027 |
|
| 1031 | 1028 |
///The type of the map that stores the distances of the nodes. |
| 1032 | 1029 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 1033 |
typedef |
|
| 1030 |
typedef typename Digraph::template NodeMap<typename LM::Value> DistMap; |
|
| 1034 | 1031 |
///Instantiates a \ref DistMap. |
| 1035 | 1032 |
|
| 1036 | 1033 |
///This function instantiates a \ref DistMap. |
| 1037 | 1034 |
///\param g is the digraph, to which we would like to define |
| 1038 | 1035 |
///the \ref DistMap |
| 1039 |
#ifdef DOXYGEN |
|
| 1040 | 1036 |
static DistMap *createDistMap(const Digraph &g) |
| 1041 |
#else |
|
| 1042 |
static DistMap *createDistMap(const Digraph &) |
|
| 1043 |
#endif |
|
| 1044 | 1037 |
{
|
| 1045 |
return new DistMap(); |
|
| 1038 |
return new DistMap(g); |
|
| 1046 | 1039 |
} |
| 1040 |
|
|
| 1041 |
///The type of the shortest paths. |
|
| 1042 |
|
|
| 1043 |
///The type of the shortest paths. |
|
| 1044 |
///It must meet the \ref concepts::Path "Path" concept. |
|
| 1045 |
typedef lemon::Path<Digraph> Path; |
|
| 1047 | 1046 |
}; |
| 1048 | 1047 |
|
| 1049 | 1048 |
/// Default traits class used by \ref DijkstraWizard |
| ... | ... |
@@ -1065,7 +1064,7 @@ |
| 1065 | 1064 |
|
| 1066 | 1065 |
//Pointer to the digraph the algorithm runs on. |
| 1067 | 1066 |
void *_g; |
| 1068 |
//Pointer to the length map |
|
| 1067 |
//Pointer to the length map. |
|
| 1069 | 1068 |
void *_length; |
| 1070 | 1069 |
//Pointer to the map of processed nodes. |
| 1071 | 1070 |
void *_processed; |
| ... | ... |
@@ -1073,53 +1072,41 @@ |
| 1073 | 1072 |
void *_pred; |
| 1074 | 1073 |
//Pointer to the map of distances. |
| 1075 | 1074 |
void *_dist; |
| 1076 |
//Pointer to the source node. |
|
| 1077 |
Node _source; |
|
| 1075 |
//Pointer to the shortest path to the target node. |
|
| 1076 |
void *_path; |
|
| 1077 |
//Pointer to the distance of the target node. |
|
| 1078 |
void *_di; |
|
| 1078 | 1079 |
|
| 1079 | 1080 |
public: |
| 1080 | 1081 |
/// Constructor. |
| 1081 | 1082 |
|
| 1082 | 1083 |
/// This constructor does not require parameters, therefore it initiates |
| 1083 |
/// all of the attributes to |
|
| 1084 |
/// all of the attributes to \c 0. |
|
| 1084 | 1085 |
DijkstraWizardBase() : _g(0), _length(0), _processed(0), _pred(0), |
| 1085 |
_dist(0), |
|
| 1086 |
_dist(0), _path(0), _di(0) {}
|
|
| 1086 | 1087 |
|
| 1087 | 1088 |
/// Constructor. |
| 1088 | 1089 |
|
| 1089 |
/// This constructor requires some parameters, |
|
| 1090 |
/// listed in the parameters list. |
|
| 1091 |
/// |
|
| 1090 |
/// This constructor requires two parameters, |
|
| 1091 |
/// others are initiated to \c 0. |
|
| 1092 | 1092 |
/// \param g The digraph the algorithm runs on. |
| 1093 | 1093 |
/// \param l The length map. |
| 1094 |
/// \param s The source node. |
|
| 1095 |
DijkstraWizardBase(const GR &g,const LM &l, Node s=INVALID) : |
|
| 1094 |
DijkstraWizardBase(const GR &g,const LM &l) : |
|
| 1096 | 1095 |
_g(reinterpret_cast<void*>(const_cast<GR*>(&g))), |
| 1097 | 1096 |
_length(reinterpret_cast<void*>(const_cast<LM*>(&l))), |
| 1098 |
_processed(0), _pred(0), _dist(0), |
|
| 1097 |
_processed(0), _pred(0), _dist(0), _path(0), _di(0) {}
|
|
| 1099 | 1098 |
|
| 1100 | 1099 |
}; |
| 1101 | 1100 |
|
| 1102 |
/// Auxiliary class for the function |
|
| 1101 |
/// Auxiliary class for the function-type interface of Dijkstra algorithm. |
|
| 1103 | 1102 |
|
| 1104 |
/// This auxiliary class is created to implement the function type |
|
| 1105 |
/// interface of \ref Dijkstra algorithm. It uses the functions and features |
|
| 1106 |
/// of the plain \ref Dijkstra, but it is much simpler to use it. |
|
| 1107 |
/// It should only be used through the \ref dijkstra() function, which makes |
|
| 1108 |
/// |
|
| 1103 |
/// This auxiliary class is created to implement the |
|
| 1104 |
/// \ref dijkstra() "function-type interface" of \ref Dijkstra algorithm. |
|
| 1105 |
/// It does not have own \ref run() method, it uses the functions |
|
| 1106 |
/// and features of the plain \ref Dijkstra. |
|
| 1109 | 1107 |
/// |
| 1110 |
/// Simplicity means that the way to change the types defined |
|
| 1111 |
/// in the traits class is based on functions that returns the new class |
|
| 1112 |
/// and not on templatable built-in classes. |
|
| 1113 |
/// When using the plain \ref Dijkstra |
|
| 1114 |
/// the new class with the modified type comes from |
|
| 1115 |
/// the original class by using the :: |
|
| 1116 |
/// operator. In the case of \ref DijkstraWizard only |
|
| 1117 |
/// a function have to be called, and it will |
|
| 1118 |
/// return the needed class. |
|
| 1119 |
/// |
|
| 1120 |
/// It does not have own \ref run() method. When its \ref run() method |
|
| 1121 |
/// is called, it initiates a plain \ref Dijkstra object, and calls the |
|
| 1122 |
/// \ref |
|
| 1108 |
/// This class should only be used through the \ref dijkstra() function, |
|
| 1109 |
/// which makes it easier to use the algorithm. |
|
| 1123 | 1110 |
template<class TR> |
| 1124 | 1111 |
class DijkstraWizard : public TR |
| 1125 | 1112 |
{
|
| ... | ... |
@@ -1144,6 +1131,8 @@ |
| 1144 | 1131 |
typedef typename TR::DistMap DistMap; |
| 1145 | 1132 |
///The type of the map that indicates which nodes are processed. |
| 1146 | 1133 |
typedef typename TR::ProcessedMap ProcessedMap; |
| 1134 |
///The type of the shortest paths |
|
| 1135 |
typedef typename TR::Path Path; |
|
| 1147 | 1136 |
///The heap type used by the dijkstra algorithm. |
| 1148 | 1137 |
typedef typename TR::Heap Heap; |
| 1149 | 1138 |
|
| ... | ... |
@@ -1156,51 +1145,60 @@ |
| 1156 | 1145 |
|
| 1157 | 1146 |
/// Constructor that requires parameters. |
| 1158 | 1147 |
/// These parameters will be the default values for the traits class. |
| 1159 |
DijkstraWizard(const Digraph &g,const LengthMap &l, Node s=INVALID) : |
|
| 1160 |
TR(g,l,s) {}
|
|
| 1148 |
/// \param g The digraph the algorithm runs on. |
|
| 1149 |
/// \param l The length map. |
|
| 1150 |
DijkstraWizard(const Digraph &g, const LengthMap &l) : |
|
| 1151 |
TR(g,l) {}
|
|
| 1161 | 1152 |
|
| 1162 | 1153 |
///Copy constructor |
| 1163 | 1154 |
DijkstraWizard(const TR &b) : TR(b) {}
|
| 1164 | 1155 |
|
| 1165 | 1156 |
~DijkstraWizard() {}
|
| 1166 | 1157 |
|
| 1167 |
///Runs Dijkstra algorithm from |
|
| 1158 |
///Runs Dijkstra algorithm from the given source node. |
|
| 1168 | 1159 |
|
| 1169 |
///Runs Dijkstra algorithm from a source node. |
|
| 1170 |
///The node can be given with the \ref source() function. |
|
| 1171 |
|
|
| 1160 |
///This method runs %Dijkstra algorithm from the given source node |
|
| 1161 |
///in order to compute the shortest path to each node. |
|
| 1162 |
void run(Node s) |
|
| 1172 | 1163 |
{
|
| 1173 |
if |
|
| 1164 |
if (s==INVALID) throw UninitializedParameter(); |
|
| 1174 | 1165 |
Dijkstra<Digraph,LengthMap,TR> |
| 1175 |
dij(*reinterpret_cast<const Digraph*>(Base::_g), |
|
| 1176 |
*reinterpret_cast<const LengthMap*>(Base::_length)); |
|
| 1177 |
if(Base::_processed) |
|
| 1178 |
dij.processedMap(*reinterpret_cast<ProcessedMap*>(Base::_processed)); |
|
| 1179 |
if(Base::_pred) |
|
| 1180 |
dij.predMap(*reinterpret_cast<PredMap*>(Base::_pred)); |
|
| 1181 |
if(Base::_dist) |
|
| 1182 |
dij.distMap(*reinterpret_cast<DistMap*>(Base::_dist)); |
|
| 1183 |
|
|
| 1166 |
dijk(*reinterpret_cast<const Digraph*>(Base::_g), |
|
| 1167 |
*reinterpret_cast<const LengthMap*>(Base::_length)); |
|
| 1168 |
if (Base::_pred) |
|
| 1169 |
dijk.predMap(*reinterpret_cast<PredMap*>(Base::_pred)); |
|
| 1170 |
if (Base::_dist) |
|
| 1171 |
dijk.distMap(*reinterpret_cast<DistMap*>(Base::_dist)); |
|
| 1172 |
if (Base::_processed) |
|
| 1173 |
dijk.processedMap(*reinterpret_cast<ProcessedMap*>(Base::_processed)); |
|
| 1174 |
dijk.run(s); |
|
| 1184 | 1175 |
} |
| 1185 | 1176 |
|
| 1186 |
/// |
|
| 1177 |
///Finds the shortest path between \c s and \c t. |
|
| 1187 | 1178 |
|
| 1188 |
///Runs Dijkstra algorithm from the given node. |
|
| 1189 |
///\param s is the given source. |
|
| 1190 |
|
|
| 1179 |
///This method runs the %Dijkstra algorithm from node \c s |
|
| 1180 |
///in order to compute the shortest path to node \c t |
|
| 1181 |
///(it stops searching when \c t is processed). |
|
| 1182 |
/// |
|
| 1183 |
///\return \c true if \c t is reachable form \c s. |
|
| 1184 |
bool run(Node s, Node t) |
|
| 1191 | 1185 |
{
|
| 1192 |
Base::_source=s; |
|
| 1193 |
run(); |
|
| 1194 |
} |
|
| 1195 |
|
|
| 1196 |
/// Sets the source node, from which the Dijkstra algorithm runs. |
|
| 1197 |
|
|
| 1198 |
/// Sets the source node, from which the Dijkstra algorithm runs. |
|
| 1199 |
/// \param s is the source node. |
|
| 1200 |
DijkstraWizard<TR> &source(Node s) |
|
| 1201 |
{
|
|
| 1202 |
Base::_source=s; |
|
| 1203 |
return *this; |
|
| 1186 |
if (s==INVALID || t==INVALID) throw UninitializedParameter(); |
|
| 1187 |
Dijkstra<Digraph,LengthMap,TR> |
|
| 1188 |
dijk(*reinterpret_cast<const Digraph*>(Base::_g), |
|
| 1189 |
*reinterpret_cast<const LengthMap*>(Base::_length)); |
|
| 1190 |
if (Base::_pred) |
|
| 1191 |
dijk.predMap(*reinterpret_cast<PredMap*>(Base::_pred)); |
|
| 1192 |
if (Base::_dist) |
|
| 1193 |
dijk.distMap(*reinterpret_cast<DistMap*>(Base::_dist)); |
|
| 1194 |
if (Base::_processed) |
|
| 1195 |
dijk.processedMap(*reinterpret_cast<ProcessedMap*>(Base::_processed)); |
|
| 1196 |
dijk.run(s,t); |
|
| 1197 |
if (Base::_path) |
|
| 1198 |
*reinterpret_cast<Path*>(Base::_path) = dijk.path(t); |
|
| 1199 |
if (Base::_di) |
|
| 1200 |
*reinterpret_cast<Value*>(Base::_di) = dijk.dist(t); |
|
| 1201 |
return dijk.reached(t); |
|
| 1204 | 1202 |
} |
| 1205 | 1203 |
|
| 1206 | 1204 |
template<class T> |
| ... | ... |
@@ -1209,10 +1207,10 @@ |
| 1209 | 1207 |
static PredMap *createPredMap(const Digraph &) { return 0; };
|
| 1210 | 1208 |
SetPredMapBase(const TR &b) : TR(b) {}
|
| 1211 | 1209 |
}; |
| 1212 |
///\brief \ref named- |
|
| 1210 |
///\brief \ref named-func-param "Named parameter" |
|
| 1213 | 1211 |
///for setting \ref PredMap object. |
| 1214 | 1212 |
/// |
| 1215 |
///\ref named- |
|
| 1213 |
///\ref named-func-param "Named parameter" |
|
| 1216 | 1214 |
///for setting \ref PredMap object. |
| 1217 | 1215 |
template<class T> |
| 1218 | 1216 |
DijkstraWizard<SetPredMapBase<T> > predMap(const T &t) |
| ... | ... |
@@ -1222,15 +1220,33 @@ |
| 1222 | 1220 |
} |
| 1223 | 1221 |
|
| 1224 | 1222 |
template<class T> |
| 1223 |
struct SetDistMapBase : public Base {
|
|
| 1224 |
typedef T DistMap; |
|
| 1225 |
static DistMap *createDistMap(const Digraph &) { return 0; };
|
|
| 1226 |
SetDistMapBase(const TR &b) : TR(b) {}
|
|
| 1227 |
}; |
|
| 1228 |
///\brief \ref named-func-param "Named parameter" |
|
| 1229 |
///for setting \ref DistMap object. |
|
| 1230 |
/// |
|
| 1231 |
///\ref named-func-param "Named parameter" |
|
| 1232 |
///for setting \ref DistMap object. |
|
| 1233 |
template<class T> |
|
| 1234 |
DijkstraWizard<SetDistMapBase<T> > distMap(const T &t) |
|
| 1235 |
{
|
|
| 1236 |
Base::_dist=reinterpret_cast<void*>(const_cast<T*>(&t)); |
|
| 1237 |
return DijkstraWizard<SetDistMapBase<T> >(*this); |
|
| 1238 |
} |
|
| 1239 |
|
|
| 1240 |
template<class T> |
|
| 1225 | 1241 |
struct SetProcessedMapBase : public Base {
|
| 1226 | 1242 |
typedef T ProcessedMap; |
| 1227 | 1243 |
static ProcessedMap *createProcessedMap(const Digraph &) { return 0; };
|
| 1228 | 1244 |
SetProcessedMapBase(const TR &b) : TR(b) {}
|
| 1229 | 1245 |
}; |
| 1230 |
///\brief \ref named- |
|
| 1246 |
///\brief \ref named-func-param "Named parameter" |
|
| 1231 | 1247 |
///for setting \ref ProcessedMap object. |
| 1232 | 1248 |
/// |
| 1233 |
/// \ref named- |
|
| 1249 |
/// \ref named-func-param "Named parameter" |
|
| 1234 | 1250 |
///for setting \ref ProcessedMap object. |
| 1235 | 1251 |
template<class T> |
| 1236 | 1252 |
DijkstraWizard<SetProcessedMapBase<T> > processedMap(const T &t) |
| ... | ... |
@@ -1240,37 +1256,49 @@ |
| 1240 | 1256 |
} |
| 1241 | 1257 |
|
| 1242 | 1258 |
template<class T> |
| 1243 |
struct SetDistMapBase : public Base {
|
|
| 1244 |
typedef T DistMap; |
|
| 1245 |
static DistMap *createDistMap(const Digraph &) { return 0; };
|
|
| 1246 |
SetDistMapBase(const TR &b) : TR(b) {}
|
|
| 1259 |
struct SetPathBase : public Base {
|
|
| 1260 |
typedef T Path; |
|
| 1261 |
SetPathBase(const TR &b) : TR(b) {}
|
|
| 1247 | 1262 |
}; |
| 1248 |
///\brief \ref named-templ-param "Named parameter" |
|
| 1249 |
///for setting \ref DistMap object. |
|
| 1263 |
///\brief \ref named-func-param "Named parameter" |
|
| 1264 |
///for getting the shortest path to the target node. |
|
| 1250 | 1265 |
/// |
| 1251 |
///\ref named-templ-param "Named parameter" |
|
| 1252 |
///for setting \ref DistMap object. |
|
| 1266 |
///\ref named-func-param "Named parameter" |
|
| 1267 |
///for getting the shortest path to the target node. |
|
| 1253 | 1268 |
template<class T> |
| 1254 |
DijkstraWizard< |
|
| 1269 |
DijkstraWizard<SetPathBase<T> > path(const T &t) |
|
| 1255 | 1270 |
{
|
| 1256 |
Base::_dist=reinterpret_cast<void*>(const_cast<T*>(&t)); |
|
| 1257 |
return DijkstraWizard<SetDistMapBase<T> >(*this); |
|
| 1271 |
Base::_path=reinterpret_cast<void*>(const_cast<T*>(&t)); |
|
| 1272 |
return DijkstraWizard<SetPathBase<T> >(*this); |
|
| 1273 |
} |
|
| 1274 |
|
|
| 1275 |
///\brief \ref named-func-param "Named parameter" |
|
| 1276 |
///for getting the distance of the target node. |
|
| 1277 |
/// |
|
| 1278 |
///\ref named-func-param "Named parameter" |
|
| 1279 |
///for getting the distance of the target node. |
|
| 1280 |
DijkstraWizard dist(const Value &d) |
|
| 1281 |
{
|
|
| 1282 |
Base::_di=reinterpret_cast<void*>(const_cast<Value*>(&d)); |
|
| 1283 |
return *this; |
|
| 1258 | 1284 |
} |
| 1259 | 1285 |
|
| 1260 | 1286 |
}; |
| 1261 | 1287 |
|
| 1262 |
///Function |
|
| 1288 |
///Function-type interface for Dijkstra algorithm. |
|
| 1263 | 1289 |
|
| 1264 | 1290 |
/// \ingroup shortest_path |
| 1265 |
///Function |
|
| 1291 |
///Function-type interface for Dijkstra algorithm. |
|
| 1266 | 1292 |
/// |
| 1267 |
///This function also has several |
|
| 1268 |
///\ref named-templ-func-param "named parameters", |
|
| 1293 |
///This function also has several \ref named-func-param "named parameters", |
|
| 1269 | 1294 |
///they are declared as the members of class \ref DijkstraWizard. |
| 1270 |
///The following |
|
| 1271 |
///example shows how to use these parameters. |
|
| 1295 |
///The following examples show how to use these parameters. |
|
| 1272 | 1296 |
///\code |
| 1273 |
/// |
|
| 1297 |
/// // Compute shortest path from node s to each node |
|
| 1298 |
/// dijkstra(g,length).predMap(preds).distMap(dists).run(s); |
|
| 1299 |
/// |
|
| 1300 |
/// // Compute shortest path from s to t |
|
| 1301 |
/// bool reached = dijkstra(g,length).path(p).dist(d).run(s,t); |
|
| 1274 | 1302 |
///\endcode |
| 1275 | 1303 |
///\warning Don't forget to put the \ref DijkstraWizard::run() "run()" |
| 1276 | 1304 |
///to the end of the parameter list. |
| ... | ... |
@@ -1278,9 +1306,9 @@ |
| 1278 | 1306 |
///\sa Dijkstra |
| 1279 | 1307 |
template<class GR, class LM> |
| 1280 | 1308 |
DijkstraWizard<DijkstraWizardBase<GR,LM> > |
| 1281 |
dijkstra(const GR & |
|
| 1309 |
dijkstra(const GR &digraph, const LM &length) |
|
| 1282 | 1310 |
{
|
| 1283 |
return DijkstraWizard<DijkstraWizardBase<GR,LM> >( |
|
| 1311 |
return DijkstraWizard<DijkstraWizardBase<GR,LM> >(digraph,length); |
|
| 1284 | 1312 |
} |
| 1285 | 1313 |
|
| 1286 | 1314 |
} //END OF NAMESPACE LEMON |
| ... | ... |
@@ -62,7 +62,6 @@ |
| 62 | 62 |
bool b; |
| 63 | 63 |
BType::DistMap d(G); |
| 64 | 64 |
BType::PredMap p(G); |
| 65 |
// BType::PredNodeMap pn(G); |
|
| 66 | 65 |
|
| 67 | 66 |
BType bfs_test(G); |
| 68 | 67 |
|
| ... | ... |
@@ -72,9 +71,7 @@ |
| 72 | 71 |
e = bfs_test.predArc(n); |
| 73 | 72 |
n = bfs_test.predNode(n); |
| 74 | 73 |
d = bfs_test.distMap(); |
| 75 |
|
|
| 76 | 74 |
p = bfs_test.predMap(); |
| 77 |
// pn = bfs_test.predNodeMap(); |
|
| 78 | 75 |
b = bfs_test.reached(n); |
| 79 | 76 |
|
| 80 | 77 |
Path<Digraph> pp = bfs_test.path(n); |
| ... | ... |
@@ -88,14 +85,30 @@ |
| 88 | 85 |
typedef Digraph::Node Node; |
| 89 | 86 |
|
| 90 | 87 |
Digraph g; |
| 91 |
bfs(g,Node()).run(); |
|
| 92 |
bfs(g).source(Node()).run(); |
|
| 88 |
bool b; |
|
| 89 |
bfs(g).run(Node()); |
|
| 90 |
b=bfs(g).run(Node(),Node()); |
|
| 91 |
bfs(g).run(); |
|
| 93 | 92 |
bfs(g) |
| 94 |
.predMap(concepts::WriteMap<Node,Arc>()) |
|
| 95 |
.distMap(concepts::WriteMap<Node,VType>()) |
|
| 93 |
.predMap(concepts::ReadWriteMap<Node,Arc>()) |
|
| 94 |
.distMap(concepts::ReadWriteMap<Node,VType>()) |
|
| 96 | 95 |
.reachedMap(concepts::ReadWriteMap<Node,bool>()) |
| 97 | 96 |
.processedMap(concepts::WriteMap<Node,bool>()) |
| 98 | 97 |
.run(Node()); |
| 98 |
b=bfs(g) |
|
| 99 |
.predMap(concepts::ReadWriteMap<Node,Arc>()) |
|
| 100 |
.distMap(concepts::ReadWriteMap<Node,VType>()) |
|
| 101 |
.reachedMap(concepts::ReadWriteMap<Node,bool>()) |
|
| 102 |
.processedMap(concepts::WriteMap<Node,bool>()) |
|
| 103 |
.path(concepts::Path<Digraph>()) |
|
| 104 |
.dist(VType()) |
|
| 105 |
.run(Node(),Node()); |
|
| 106 |
bfs(g) |
|
| 107 |
.predMap(concepts::ReadWriteMap<Node,Arc>()) |
|
| 108 |
.distMap(concepts::ReadWriteMap<Node,VType>()) |
|
| 109 |
.reachedMap(concepts::ReadWriteMap<Node,bool>()) |
|
| 110 |
.processedMap(concepts::WriteMap<Node,bool>()) |
|
| 111 |
.run(); |
|
| 99 | 112 |
} |
| 100 | 113 |
|
| 101 | 114 |
template <class Digraph> |
| ... | ... |
@@ -114,7 +127,7 @@ |
| 114 | 127 |
Bfs<Digraph> bfs_test(G); |
| 115 | 128 |
bfs_test.run(s); |
| 116 | 129 |
|
| 117 |
check(bfs_test.dist(t)==2,"Bfs found a wrong path." |
|
| 130 |
check(bfs_test.dist(t)==2,"Bfs found a wrong path."); |
|
| 118 | 131 |
|
| 119 | 132 |
Path<Digraph> p = bfs_test.path(t); |
| 120 | 133 |
check(p.length()==2,"path() found a wrong path."); |
| ... | ... |
@@ -128,7 +141,7 @@ |
| 128 | 141 |
Node v=G.target(a); |
| 129 | 142 |
check( !bfs_test.reached(u) || |
| 130 | 143 |
(bfs_test.dist(v) <= bfs_test.dist(u)+1), |
| 131 |
"Wrong output." << G.id(v) |
|
| 144 |
"Wrong output. " << G.id(u) << "->" << G.id(v)); |
|
| 132 | 145 |
} |
| 133 | 146 |
|
| 134 | 147 |
for(NodeIt v(G); v!=INVALID; ++v) {
|
| ... | ... |
@@ -140,11 +153,15 @@ |
| 140 | 153 |
check(u==bfs_test.predNode(v),"Wrong tree."); |
| 141 | 154 |
check(bfs_test.dist(v) - bfs_test.dist(u) == 1, |
| 142 | 155 |
"Wrong distance. Difference: " |
| 143 |
<< std::abs(bfs_test.dist(v) - bfs_test.dist(u) |
|
| 144 |
- 1)); |
|
| 156 |
<< std::abs(bfs_test.dist(v) - bfs_test.dist(u) - 1)); |
|
| 145 | 157 |
} |
| 146 | 158 |
} |
| 147 | 159 |
} |
| 160 |
|
|
| 161 |
{
|
|
| 162 |
NullMap<Node,Arc> myPredMap; |
|
| 163 |
bfs(G).predMap(myPredMap).run(s); |
|
| 164 |
} |
|
| 148 | 165 |
} |
| 149 | 166 |
|
| 150 | 167 |
int main() |
| ... | ... |
@@ -20,7 +20,6 @@ |
| 20 | 20 |
#include <lemon/smart_graph.h> |
| 21 | 21 |
#include <lemon/list_graph.h> |
| 22 | 22 |
#include <lemon/lgf_reader.h> |
| 23 |
|
|
| 24 | 23 |
#include <lemon/dfs.h> |
| 25 | 24 |
#include <lemon/path.h> |
| 26 | 25 |
|
| ... | ... |
@@ -88,14 +87,30 @@ |
| 88 | 87 |
typedef Digraph::Node Node; |
| 89 | 88 |
|
| 90 | 89 |
Digraph g; |
| 91 |
dfs(g,Node()).run(); |
|
| 92 |
dfs(g).source(Node()).run(); |
|
| 90 |
bool b; |
|
| 91 |
dfs(g).run(Node()); |
|
| 92 |
b=dfs(g).run(Node(),Node()); |
|
| 93 |
dfs(g).run(); |
|
| 93 | 94 |
dfs(g) |
| 94 |
.predMap(concepts::WriteMap<Node,Arc>()) |
|
| 95 |
.distMap(concepts::WriteMap<Node,VType>()) |
|
| 95 |
.predMap(concepts::ReadWriteMap<Node,Arc>()) |
|
| 96 |
.distMap(concepts::ReadWriteMap<Node,VType>()) |
|
| 96 | 97 |
.reachedMap(concepts::ReadWriteMap<Node,bool>()) |
| 97 | 98 |
.processedMap(concepts::WriteMap<Node,bool>()) |
| 98 | 99 |
.run(Node()); |
| 100 |
b=dfs(g) |
|
| 101 |
.predMap(concepts::ReadWriteMap<Node,Arc>()) |
|
| 102 |
.distMap(concepts::ReadWriteMap<Node,VType>()) |
|
| 103 |
.reachedMap(concepts::ReadWriteMap<Node,bool>()) |
|
| 104 |
.processedMap(concepts::WriteMap<Node,bool>()) |
|
| 105 |
.path(concepts::Path<Digraph>()) |
|
| 106 |
.dist(VType()) |
|
| 107 |
.run(Node(),Node()); |
|
| 108 |
dfs(g) |
|
| 109 |
.predMap(concepts::ReadWriteMap<Node,Arc>()) |
|
| 110 |
.distMap(concepts::ReadWriteMap<Node,VType>()) |
|
| 111 |
.reachedMap(concepts::ReadWriteMap<Node,bool>()) |
|
| 112 |
.processedMap(concepts::WriteMap<Node,bool>()) |
|
| 113 |
.run(); |
|
| 99 | 114 |
} |
| 100 | 115 |
|
| 101 | 116 |
template <class Digraph> |
| ... | ... |
@@ -129,10 +144,15 @@ |
| 129 | 144 |
check(u==dfs_test.predNode(v),"Wrong tree."); |
| 130 | 145 |
check(dfs_test.dist(v) - dfs_test.dist(u) == 1, |
| 131 | 146 |
"Wrong distance. (" << dfs_test.dist(u) << "->"
|
| 132 |
<<dfs_test.dist(v) << |
|
| 147 |
<< dfs_test.dist(v) << ")"); |
|
| 133 | 148 |
} |
| 134 | 149 |
} |
| 135 | 150 |
} |
| 151 |
|
|
| 152 |
{
|
|
| 153 |
NullMap<Node,Arc> myPredMap; |
|
| 154 |
dfs(G).predMap(myPredMap).run(s); |
|
| 155 |
} |
|
| 136 | 156 |
} |
| 137 | 157 |
|
| 138 | 158 |
int main() |
| ... | ... |
@@ -20,7 +20,6 @@ |
| 20 | 20 |
#include <lemon/smart_graph.h> |
| 21 | 21 |
#include <lemon/list_graph.h> |
| 22 | 22 |
#include <lemon/lgf_reader.h> |
| 23 |
|
|
| 24 | 23 |
#include <lemon/dijkstra.h> |
| 25 | 24 |
#include <lemon/path.h> |
| 26 | 25 |
|
| ... | ... |
@@ -64,7 +63,6 @@ |
| 64 | 63 |
bool b; |
| 65 | 64 |
DType::DistMap d(G); |
| 66 | 65 |
DType::PredMap p(G); |
| 67 |
// DType::PredNodeMap pn(G); |
|
| 68 | 66 |
LengthMap length; |
| 69 | 67 |
|
| 70 | 68 |
DType dijkstra_test(G,length); |
| ... | ... |
@@ -76,7 +74,6 @@ |
| 76 | 74 |
n = dijkstra_test.predNode(n); |
| 77 | 75 |
d = dijkstra_test.distMap(); |
| 78 | 76 |
p = dijkstra_test.predMap(); |
| 79 |
// pn = dijkstra_test.predNodeMap(); |
|
| 80 | 77 |
b = dijkstra_test.reached(n); |
| 81 | 78 |
|
| 82 | 79 |
Path<Digraph> pp = dijkstra_test.path(n); |
| ... | ... |
@@ -91,12 +88,21 @@ |
| 91 | 88 |
typedef concepts::ReadMap<Digraph::Arc,VType> LengthMap; |
| 92 | 89 |
|
| 93 | 90 |
Digraph g; |
| 94 |
dijkstra(g,LengthMap(),Node()).run(); |
|
| 95 |
dijkstra(g,LengthMap()).source(Node()).run(); |
|
| 91 |
bool b; |
|
| 92 |
dijkstra(g,LengthMap()).run(Node()); |
|
| 93 |
b=dijkstra(g,LengthMap()).run(Node(),Node()); |
|
| 96 | 94 |
dijkstra(g,LengthMap()) |
| 97 |
.predMap(concepts::WriteMap<Node,Arc>()) |
|
| 98 |
.distMap(concepts::WriteMap<Node,VType>()) |
|
| 95 |
.predMap(concepts::ReadWriteMap<Node,Arc>()) |
|
| 96 |
.distMap(concepts::ReadWriteMap<Node,VType>()) |
|
| 97 |
.processedMap(concepts::WriteMap<Node,bool>()) |
|
| 99 | 98 |
.run(Node()); |
| 99 |
b=dijkstra(g,LengthMap()) |
|
| 100 |
.predMap(concepts::ReadWriteMap<Node,Arc>()) |
|
| 101 |
.distMap(concepts::ReadWriteMap<Node,VType>()) |
|
| 102 |
.processedMap(concepts::WriteMap<Node,bool>()) |
|
| 103 |
.path(concepts::Path<Digraph>()) |
|
| 104 |
.dist(VType()) |
|
| 105 |
.run(Node(),Node()); |
|
| 100 | 106 |
} |
| 101 | 107 |
|
| 102 | 108 |
template <class Digraph> |
| ... | ... |
@@ -122,7 +128,7 @@ |
| 122 | 128 |
check(dijkstra_test.dist(t)==3,"Dijkstra found a wrong path."); |
| 123 | 129 |
|
| 124 | 130 |
Path<Digraph> p = dijkstra_test.path(t); |
| 125 |
check(p.length()==3," |
|
| 131 |
check(p.length()==3,"path() found a wrong path."); |
|
| 126 | 132 |
check(checkPath(G, p),"path() found a wrong path."); |
| 127 | 133 |
check(pathSource(G, p) == s,"path() found a wrong path."); |
| 128 | 134 |
check(pathTarget(G, p) == t,"path() found a wrong path."); |
| ... | ... |
@@ -132,7 +138,7 @@ |
| 132 | 138 |
Node v=G.target(e); |
| 133 | 139 |
check( !dijkstra_test.reached(u) || |
| 134 | 140 |
(dijkstra_test.dist(v) - dijkstra_test.dist(u) <= length[e]), |
| 135 |
"dist(target)-dist(source)-arc_length= |
|
| 141 |
"Wrong output. dist(target)-dist(source)-arc_length=" << |
|
| 136 | 142 |
dijkstra_test.dist(v) - dijkstra_test.dist(u) - length[e]); |
| 137 | 143 |
} |
| 138 | 144 |
|
0 comments (0 inline)