| ... |
... |
@@ -826,277 +826,279 @@
|
| 826 |
826 |
/// Comparison operator
|
| 827 |
827 |
bool operator<(const ArcIt& e) const { return idx<e.idx; }
|
| 828 |
828 |
|
| 829 |
829 |
private:
|
| 830 |
830 |
const StaticPath *path;
|
| 831 |
831 |
int idx;
|
| 832 |
832 |
};
|
| 833 |
833 |
|
| 834 |
834 |
/// \brief The nth arc.
|
| 835 |
835 |
///
|
| 836 |
836 |
/// \pre \c n is in the <tt>[0..length() - 1]</tt> range.
|
| 837 |
837 |
const Arc& nth(int n) const {
|
| 838 |
838 |
return arcs[n];
|
| 839 |
839 |
}
|
| 840 |
840 |
|
| 841 |
841 |
/// \brief The arc iterator pointing to the nth arc.
|
| 842 |
842 |
ArcIt nthIt(int n) const {
|
| 843 |
843 |
return ArcIt(*this, n);
|
| 844 |
844 |
}
|
| 845 |
845 |
|
| 846 |
846 |
/// \brief The length of the path.
|
| 847 |
847 |
int length() const { return len; }
|
| 848 |
848 |
|
| 849 |
849 |
/// \brief Return true when the path is empty.
|
| 850 |
850 |
int empty() const { return len == 0; }
|
| 851 |
851 |
|
| 852 |
852 |
/// \brief Erase all arcs in the digraph.
|
| 853 |
853 |
void clear() {
|
| 854 |
854 |
len = 0;
|
| 855 |
855 |
if (arcs) delete[] arcs;
|
| 856 |
856 |
arcs = 0;
|
| 857 |
857 |
}
|
| 858 |
858 |
|
| 859 |
859 |
/// \brief The first arc of the path.
|
| 860 |
860 |
const Arc& front() const {
|
| 861 |
861 |
return arcs[0];
|
| 862 |
862 |
}
|
| 863 |
863 |
|
| 864 |
864 |
/// \brief The last arc of the path.
|
| 865 |
865 |
const Arc& back() const {
|
| 866 |
866 |
return arcs[len - 1];
|
| 867 |
867 |
}
|
| 868 |
868 |
|
| 869 |
869 |
|
| 870 |
870 |
typedef True BuildTag;
|
| 871 |
871 |
|
| 872 |
872 |
template <typename CPath>
|
| 873 |
873 |
void build(const CPath& path) {
|
| 874 |
874 |
len = path.length();
|
| 875 |
875 |
arcs = new Arc[len];
|
| 876 |
876 |
int index = 0;
|
| 877 |
877 |
for (typename CPath::ArcIt it(path); it != INVALID; ++it) {
|
| 878 |
878 |
arcs[index] = it;
|
| 879 |
879 |
++index;
|
| 880 |
880 |
}
|
| 881 |
881 |
}
|
| 882 |
882 |
|
| 883 |
883 |
template <typename CPath>
|
| 884 |
884 |
void buildRev(const CPath& path) {
|
| 885 |
885 |
len = path.length();
|
| 886 |
886 |
arcs = new Arc[len];
|
| 887 |
887 |
int index = len;
|
| 888 |
888 |
for (typename CPath::RevArcIt it(path); it != INVALID; ++it) {
|
| 889 |
889 |
--index;
|
| 890 |
890 |
arcs[index] = it;
|
| 891 |
891 |
}
|
| 892 |
892 |
}
|
| 893 |
893 |
|
| 894 |
894 |
private:
|
| 895 |
895 |
int len;
|
| 896 |
896 |
Arc* arcs;
|
| 897 |
897 |
};
|
| 898 |
898 |
|
| 899 |
899 |
///////////////////////////////////////////////////////////////////////
|
| 900 |
900 |
// Additional utilities
|
| 901 |
901 |
///////////////////////////////////////////////////////////////////////
|
| 902 |
902 |
|
| 903 |
903 |
namespace _path_bits {
|
| 904 |
904 |
|
| 905 |
905 |
template <typename Path, typename Enable = void>
|
| 906 |
906 |
struct RevPathTagIndicator {
|
| 907 |
907 |
static const bool value = false;
|
| 908 |
908 |
};
|
| 909 |
909 |
|
| 910 |
910 |
template <typename Path>
|
| 911 |
911 |
struct RevPathTagIndicator<
|
| 912 |
912 |
Path,
|
| 913 |
913 |
typename enable_if<typename Path::RevPathTag, void>::type
|
| 914 |
914 |
> {
|
| 915 |
915 |
static const bool value = true;
|
| 916 |
916 |
};
|
| 917 |
917 |
|
| 918 |
918 |
template <typename Path, typename Enable = void>
|
| 919 |
919 |
struct BuildTagIndicator {
|
| 920 |
920 |
static const bool value = false;
|
| 921 |
921 |
};
|
| 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
|