| ... | ... |
@@ -922,181 +922,183 @@ |
| 922 | 922 |
|
| 923 | 923 |
template <typename Path> |
| 924 | 924 |
struct BuildTagIndicator< |
| 925 | 925 |
Path, |
| 926 | 926 |
typename enable_if<typename Path::BuildTag, void>::type |
| 927 | 927 |
> {
|
| 928 | 928 |
static const bool value = true; |
| 929 | 929 |
}; |
| 930 | 930 |
|
| 931 | 931 |
template <typename Target, typename Source, |
| 932 | 932 |
bool buildEnable = BuildTagIndicator<Target>::value> |
| 933 | 933 |
struct PathCopySelectorForward {
|
| 934 | 934 |
static void copy(Target& target, const Source& source) {
|
| 935 | 935 |
target.clear(); |
| 936 | 936 |
for (typename Source::ArcIt it(source); it != INVALID; ++it) {
|
| 937 | 937 |
target.addBack(it); |
| 938 | 938 |
} |
| 939 | 939 |
} |
| 940 | 940 |
}; |
| 941 | 941 |
|
| 942 | 942 |
template <typename Target, typename Source> |
| 943 | 943 |
struct PathCopySelectorForward<Target, Source, true> {
|
| 944 | 944 |
static void copy(Target& target, const Source& source) {
|
| 945 | 945 |
target.clear(); |
| 946 | 946 |
target.build(source); |
| 947 | 947 |
} |
| 948 | 948 |
}; |
| 949 | 949 |
|
| 950 | 950 |
template <typename Target, typename Source, |
| 951 | 951 |
bool buildEnable = BuildTagIndicator<Target>::value> |
| 952 | 952 |
struct PathCopySelectorBackward {
|
| 953 | 953 |
static void copy(Target& target, const Source& source) {
|
| 954 | 954 |
target.clear(); |
| 955 | 955 |
for (typename Source::RevArcIt it(source); it != INVALID; ++it) {
|
| 956 | 956 |
target.addFront(it); |
| 957 | 957 |
} |
| 958 | 958 |
} |
| 959 | 959 |
}; |
| 960 | 960 |
|
| 961 | 961 |
template <typename Target, typename Source> |
| 962 | 962 |
struct PathCopySelectorBackward<Target, Source, true> {
|
| 963 | 963 |
static void copy(Target& target, const Source& source) {
|
| 964 | 964 |
target.clear(); |
| 965 | 965 |
target.buildRev(source); |
| 966 | 966 |
} |
| 967 | 967 |
}; |
| 968 | 968 |
|
| 969 | 969 |
|
| 970 | 970 |
template <typename Target, typename Source, |
| 971 | 971 |
bool revEnable = RevPathTagIndicator<Source>::value> |
| 972 | 972 |
struct PathCopySelector {
|
| 973 | 973 |
static void copy(Target& target, const Source& source) {
|
| 974 | 974 |
PathCopySelectorForward<Target, Source>::copy(target, source); |
| 975 | 975 |
} |
| 976 | 976 |
}; |
| 977 | 977 |
|
| 978 | 978 |
template <typename Target, typename Source> |
| 979 | 979 |
struct PathCopySelector<Target, Source, true> {
|
| 980 | 980 |
static void copy(Target& target, const Source& source) {
|
| 981 | 981 |
PathCopySelectorBackward<Target, Source>::copy(target, source); |
| 982 | 982 |
} |
| 983 | 983 |
}; |
| 984 | 984 |
|
| 985 | 985 |
} |
| 986 | 986 |
|
| 987 | 987 |
|
| 988 | 988 |
/// \brief Make a copy of a path. |
| 989 | 989 |
/// |
| 990 | 990 |
/// This function makes a copy of a path. |
| 991 | 991 |
template <typename Target, typename Source> |
| 992 | 992 |
void copyPath(Target& target, const Source& source) {
|
| 993 | 993 |
checkConcept<concepts::PathDumper<typename Source::Digraph>, Source>(); |
| 994 | 994 |
_path_bits::PathCopySelector<Target, Source>::copy(target, source); |
| 995 | 995 |
} |
| 996 | 996 |
|
| 997 | 997 |
/// \brief Check the consistency of a path. |
| 998 | 998 |
/// |
| 999 | 999 |
/// This function checks that the target of each arc is the same |
| 1000 | 1000 |
/// as the source of the next one. |
| 1001 | 1001 |
/// |
| 1002 | 1002 |
template <typename Digraph, typename Path> |
| 1003 | 1003 |
bool checkPath(const Digraph& digraph, const Path& path) {
|
| 1004 | 1004 |
typename Path::ArcIt it(path); |
| 1005 | 1005 |
if (it == INVALID) return true; |
| 1006 | 1006 |
typename Digraph::Node node = digraph.target(it); |
| 1007 | 1007 |
++it; |
| 1008 | 1008 |
while (it != INVALID) {
|
| 1009 | 1009 |
if (digraph.source(it) != node) return false; |
| 1010 | 1010 |
node = digraph.target(it); |
| 1011 | 1011 |
++it; |
| 1012 | 1012 |
} |
| 1013 | 1013 |
return true; |
| 1014 | 1014 |
} |
| 1015 | 1015 |
|
| 1016 | 1016 |
/// \brief The source of a path |
| 1017 | 1017 |
/// |
| 1018 |
/// This function returns the source of the given path. |
|
| 1018 |
/// This function returns the source node of the given path. |
|
| 1019 |
/// If the path is empty, then it returns \c INVALID. |
|
| 1019 | 1020 |
template <typename Digraph, typename Path> |
| 1020 | 1021 |
typename Digraph::Node pathSource(const Digraph& digraph, const Path& path) {
|
| 1021 |
return digraph.source(path.front()); |
|
| 1022 |
return path.empty() ? INVALID : digraph.source(path.front()); |
|
| 1022 | 1023 |
} |
| 1023 | 1024 |
|
| 1024 | 1025 |
/// \brief The target of a path |
| 1025 | 1026 |
/// |
| 1026 |
/// This function returns the target of the given path. |
|
| 1027 |
/// This function returns the target node of the given path. |
|
| 1028 |
/// If the path is empty, then it returns \c INVALID. |
|
| 1027 | 1029 |
template <typename Digraph, typename Path> |
| 1028 | 1030 |
typename Digraph::Node pathTarget(const Digraph& digraph, const Path& path) {
|
| 1029 |
return digraph.target(path.back()); |
|
| 1031 |
return path.empty() ? INVALID : digraph.target(path.back()); |
|
| 1030 | 1032 |
} |
| 1031 | 1033 |
|
| 1032 | 1034 |
/// \brief Class which helps to iterate through the nodes of a path |
| 1033 | 1035 |
/// |
| 1034 | 1036 |
/// In a sense, the path can be treated as a list of arcs. The |
| 1035 | 1037 |
/// lemon path type stores only this list. As a consequence, it |
| 1036 | 1038 |
/// cannot enumerate the nodes in the path and the zero length paths |
| 1037 | 1039 |
/// cannot have a source node. |
| 1038 | 1040 |
/// |
| 1039 | 1041 |
/// This class implements the node iterator of a path structure. To |
| 1040 | 1042 |
/// provide this feature, the underlying digraph should be passed to |
| 1041 | 1043 |
/// the constructor of the iterator. |
| 1042 | 1044 |
template <typename Path> |
| 1043 | 1045 |
class PathNodeIt {
|
| 1044 | 1046 |
private: |
| 1045 | 1047 |
const typename Path::Digraph *_digraph; |
| 1046 | 1048 |
typename Path::ArcIt _it; |
| 1047 | 1049 |
typename Path::Digraph::Node _nd; |
| 1048 | 1050 |
|
| 1049 | 1051 |
public: |
| 1050 | 1052 |
|
| 1051 | 1053 |
typedef typename Path::Digraph Digraph; |
| 1052 | 1054 |
typedef typename Digraph::Node Node; |
| 1053 | 1055 |
|
| 1054 | 1056 |
/// Default constructor |
| 1055 | 1057 |
PathNodeIt() {}
|
| 1056 | 1058 |
/// Invalid constructor |
| 1057 | 1059 |
PathNodeIt(Invalid) |
| 1058 | 1060 |
: _digraph(0), _it(INVALID), _nd(INVALID) {}
|
| 1059 | 1061 |
/// Constructor |
| 1060 | 1062 |
PathNodeIt(const Digraph& digraph, const Path& path) |
| 1061 | 1063 |
: _digraph(&digraph), _it(path) {
|
| 1062 | 1064 |
_nd = (_it != INVALID ? _digraph->source(_it) : INVALID); |
| 1063 | 1065 |
} |
| 1064 | 1066 |
/// Constructor |
| 1065 | 1067 |
PathNodeIt(const Digraph& digraph, const Path& path, const Node& src) |
| 1066 | 1068 |
: _digraph(&digraph), _it(path), _nd(src) {}
|
| 1067 | 1069 |
|
| 1068 | 1070 |
///Conversion to Digraph::Node |
| 1069 | 1071 |
operator Node() const {
|
| 1070 | 1072 |
return _nd; |
| 1071 | 1073 |
} |
| 1072 | 1074 |
|
| 1073 | 1075 |
/// Next node |
| 1074 | 1076 |
PathNodeIt& operator++() {
|
| 1075 | 1077 |
if (_it == INVALID) _nd = INVALID; |
| 1076 | 1078 |
else {
|
| 1077 | 1079 |
_nd = _digraph->target(_it); |
| 1078 | 1080 |
++_it; |
| 1079 | 1081 |
} |
| 1080 | 1082 |
return *this; |
| 1081 | 1083 |
} |
| 1082 | 1084 |
|
| 1083 | 1085 |
/// Comparison operator |
| 1084 | 1086 |
bool operator==(const PathNodeIt& n) const {
|
| 1085 | 1087 |
return _it == n._it && _nd == n._nd; |
| 1086 | 1088 |
} |
| 1087 | 1089 |
/// Comparison operator |
| 1088 | 1090 |
bool operator!=(const PathNodeIt& n) const {
|
| 1089 | 1091 |
return _it != n._it || _nd != n._nd; |
| 1090 | 1092 |
} |
| 1091 | 1093 |
/// Comparison operator |
| 1092 | 1094 |
bool operator<(const PathNodeIt& n) const {
|
| 1093 | 1095 |
return (_it < n._it && _nd != INVALID); |
| 1094 | 1096 |
} |
| 1095 | 1097 |
|
| 1096 | 1098 |
}; |
| 1097 | 1099 |
|
| 1098 | 1100 |
///@} |
| 1099 | 1101 |
|
| 1100 | 1102 |
} // namespace lemon |
| 1101 | 1103 |
|
| 1102 | 1104 |
#endif // LEMON_PATH_H |
0 comments (0 inline)