values-union.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 Union {
00048 protected:
00050 I i;
00052 J j;
00054 int v;
00056 bool done;
00057 public:
00059
00060
00061 Union(void);
00063 Union(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 Union<I,J>::Union(void) : v(0) {}
00087
00088 template<class I, class J>
00089 forceinline void
00090 Union<I,J>::operator ++(void) {
00091 if (i()) {
00092 if (j()) {
00093 if (i.val() == j.val()) {
00094 v=i.val(); ++i; ++j;
00095 } else if (i.val() < j.val()) {
00096 v=i.val(); ++i;
00097 } else {
00098 v=j.val(); ++j;
00099 }
00100 } else {
00101 v=i.val(); ++i;
00102 }
00103 } else if (j()) {
00104 v=j.val(); ++j;
00105 } else {
00106 done=true;
00107 }
00108 }
00109
00110 template<class I, class J>
00111 inline void
00112 Union<I,J>::init(I& i0, J& j0) {
00113 i=i0; j=j0; v=0; done=false;
00114 operator ++();
00115 }
00116
00117 template<class I, class J>
00118 forceinline
00119 Union<I,J>::Union(I& i0, J& j0) : i(i0), j(j0), v(0), done(false) {
00120 operator ++();
00121 }
00122
00123 template<class I, class J>
00124 forceinline bool
00125 Union<I,J>::operator ()(void) const {
00126 return !done;
00127 }
00128
00129 template<class I, class J>
00130 forceinline int
00131 Union<I,J>::val(void) const {
00132 return v;
00133 }
00134
00135 }}}
00136
00137