values-inter.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 Values {
00039
00046 template<class I, class J>
00047 class Inter {
00048 private:
00050 I i;
00052 J j;
00054 void next(void);
00055 private:
00056 IsValueIter<I> constraintI; IsValueIter<J> constraintJ;
00057 public:
00059
00060
00061 Inter(void);
00063 Inter(I& i, J& j);
00065 void init(I& i, J& j);
00067
00069
00070
00071 bool operator ()(void) const;
00073 void operator ++(void);
00075
00077
00078
00079 int val(void) const;
00081 };
00082
00083
00084 template<class I, class J>
00085 forceinline
00086 Inter<I,J>::Inter(void) {}
00087
00088 template<class I, class J>
00089 forceinline void
00090 Inter<I,J>::next(void) {
00091 do {
00092 while (i() && j() && (i.val() < j.val()))
00093 ++i;
00094 while (i() && j() && (j.val() < i.val()))
00095 ++j;
00096 } while (i() && j() && (i.val() != j.val()));
00097 }
00098
00099 template<class I, class J>
00100 inline void
00101 Inter<I,J>::init(I& i0, J& j0) {
00102 i=i0; j=j0; next();
00103 }
00104
00105 template<class I, class J>
00106 forceinline
00107 Inter<I,J>::Inter(I& i0, J& j0) : i(i0), j(j0) {
00108 next();
00109 }
00110
00111 template<class I, class J>
00112 forceinline void
00113 Inter<I,J>::operator ++(void) {
00114 ++i; ++j; next();
00115 }
00116
00117 template<class I, class J>
00118 forceinline bool
00119 Inter<I,J>::operator ()(void) const {
00120 return i() && j();
00121 }
00122
00123 template<class I, class J>
00124 forceinline int
00125 Inter<I,J>::val(void) const {
00126 assert(i.val() == j.val());
00127 return i.val();
00128 }
00129
00130 }}}
00131
00132