ranges-diff.hpp
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 namespace Gecode { namespace Iter { namespace Ranges {
00039
00046 template<class I, class J>
00047 class Diff : public MinMax {
00048 protected:
00050 I i;
00052 J j;
00053 public:
00055
00056
00057 Diff(void);
00059 Diff(I& i, J& j);
00061 void init(I& i, J& j);
00063
00065
00066
00067 void operator ++(void);
00069 };
00070
00071
00072
00073 template<class I, class J>
00074 forceinline void
00075 Diff<I,J>::operator ++(void) {
00076
00077
00078 while (true) {
00079 if (!i()) break;
00080 mi = ma+1;
00081 ma = i.max();
00082 if (mi > i.max()) {
00083 ++i;
00084 if (!i()) break;
00085 mi = i.min();
00086 ma = i.max();
00087 }
00088 while (j() && (j.max() < mi))
00089 ++j;
00090 if (j() && (j.min() <= ma)) {
00091
00092
00093 if ((mi >= j.min()) && (ma <= j.max()))
00094 continue;
00095
00096 if (j.min() <= mi) {
00097 mi = j.max()+1;
00098
00099 ++j;
00100 if (j() && (j.min() <= ma))
00101 ma = j.min()-1;
00102 } else {
00103 ma = j.min()-1;
00104 }
00105 }
00106 return;
00107 }
00108 finish();
00109 }
00110
00111 template<class I, class J>
00112 forceinline
00113 Diff<I,J>::Diff(void) {}
00114
00115 template<class I, class J>
00116 forceinline
00117 Diff<I,J>::Diff(I& i0, J& j0)
00118 : i(i0), j(j0) {
00119 if (!i()) {
00120 finish();
00121 } else {
00122 mi = i.min()-1; ma = mi;
00123 operator ++();
00124 }
00125 }
00126
00127 template<class I, class J>
00128 forceinline void
00129 Diff<I,J>::init(I& i0, J& j0) {
00130 i = i0; j = j0;
00131 if (!i()) {
00132 finish();
00133 } else {
00134 mi = i.min()-1; ma = mi;
00135 operator ++();
00136 }
00137 }
00138
00139 }}}
00140
00141
00142