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 Int { namespace Branch {
00039
00040 template<class View>
00041 forceinline
00042 ValMin<View>::ValMin(void) {}
00043 template<class View>
00044 forceinline
00045 ValMin<View>::ValMin(Space& home, const ValBranchOptions& vbo)
00046 : ValSelBase<View,int>(home,vbo) {}
00047 template<class View>
00048 forceinline int
00049 ValMin<View>::val(Space&, View x) const {
00050 return x.min();
00051 }
00052 template<class View>
00053 forceinline ModEvent
00054 ValMin<View>::tell(Space& home, unsigned int a, View x, int n) {
00055 return (a == 0) ? x.eq(home,n) : x.gr(home,n);
00056 }
00057
00058 template<class View>
00059 forceinline
00060 ValMed<View>::ValMed(void) {}
00061 template<class View>
00062 forceinline
00063 ValMed<View>::ValMed(Space& home, const ValBranchOptions& vbo)
00064 : ValSelBase<View,int>(home,vbo) {}
00065 template<class View>
00066 forceinline int
00067 ValMed<View>::val(Space&, View x) const {
00068 return x.med();
00069 }
00070 template<class View>
00071 forceinline ModEvent
00072 ValMed<View>::tell(Space& home, unsigned int a, View x, int n) {
00073 return (a == 0) ? x.eq(home,n) : x.nq(home,n);
00074 }
00075
00076
00077 template<class View>
00078 forceinline
00079 ValRnd<View>::ValRnd(void) {}
00080 template<class View>
00081 forceinline
00082 ValRnd<View>::ValRnd(Space&, const ValBranchOptions& vbo)
00083 : r(vbo.seed) {}
00084 template<class View>
00085 forceinline int
00086 ValRnd<View>::val(Space&, View x) {
00087 unsigned int p = r(x.size());
00088 for (ViewRanges<View> i(x); i(); ++i) {
00089 if (i.width() > p)
00090 return i.min() + static_cast<int>(p);
00091 p -= i.width();
00092 }
00093 GECODE_NEVER;
00094 return 0;
00095 }
00096 template<class View>
00097 forceinline ModEvent
00098 ValRnd<View>::tell(Space& home, unsigned int a, View x, int n) {
00099 return (a == 0) ? x.eq(home,n) : x.nq(home,n);
00100 }
00101 template<class View>
00102 forceinline Support::RandomGenerator
00103 ValRnd<View>::choice(Space&) {
00104 return r;
00105 }
00106 template<class View>
00107 forceinline void
00108 ValRnd<View>::commit(Space&, const Support::RandomGenerator& c,
00109 unsigned int) {
00110 r = c;
00111 }
00112 template<class View>
00113 forceinline void
00114 ValRnd<View>::update(Space&, bool, ValRnd<View>& vr) {
00115 r = vr.r;
00116 }
00117 template<class View>
00118 forceinline void
00119 ValRnd<View>::dispose(Space&) {}
00120
00121
00122 template<class View>
00123 forceinline
00124 ValSplitMin<View>::ValSplitMin(void) {}
00125 template<class View>
00126 forceinline
00127 ValSplitMin<View>::ValSplitMin(Space& home,
00128 const ValBranchOptions& vbo)
00129 : ValSelBase<View,int>(home,vbo) {}
00130 template<class View>
00131 forceinline int
00132 ValSplitMin<View>::val(Space&, View x) const {
00133 return (x.width() == 2) ? x.min() : ((x.min()+x.max()) / 2);
00134 }
00135 template<class View>
00136 forceinline ModEvent
00137 ValSplitMin<View>::tell(Space& home, unsigned int a, View x, int n) {
00138 return (a == 0) ? x.lq(home,n) : x.gr(home,n);
00139 }
00140
00141
00142 template<class View>
00143 forceinline
00144 ValRangeMin<View>::ValRangeMin(void) {}
00145 template<class View>
00146 forceinline
00147 ValRangeMin<View>::ValRangeMin(Space& home,
00148 const ValBranchOptions& vbo)
00149 : ValSelBase<View,int>(home,vbo) {}
00150 template<class View>
00151 forceinline int
00152 ValRangeMin<View>::val(Space&, View x) const {
00153 if (x.range()) {
00154 return (x.width() == 2) ? x.min() : ((x.min()+x.max()) / 2);
00155 } else {
00156 ViewRanges<View> r(x);
00157 return r.max();
00158 }
00159 }
00160 template<class View>
00161 forceinline ModEvent
00162 ValRangeMin<View>::tell(Space& home, unsigned int a, View x, int n) {
00163 return (a == 0) ? x.lq(home,n) : x.gr(home,n);
00164 }
00165
00166
00167 template<class View>
00168 forceinline
00169 ValZeroOne<View>::ValZeroOne(void) {}
00170 template<class View>
00171 forceinline
00172 ValZeroOne<View>::ValZeroOne(Space& home, const ValBranchOptions& vbo)
00173 : ValSelBase<View,NoValue>(home,vbo) {}
00174 template<class View>
00175 forceinline NoValue
00176 ValZeroOne<View>::val(Space&, View) const {
00177 NoValue n; return n;
00178 }
00179 template<class View>
00180 forceinline ModEvent
00181 ValZeroOne<View>::tell(Space& home, unsigned int a, View x, NoValue) {
00182 return (a == 0) ? x.zero(home) : x.one(home);
00183 }
00184
00185
00186 template<class View>
00187 forceinline
00188 AssignValMin<View>::AssignValMin(void) {}
00189 template<class View>
00190 forceinline
00191 AssignValMin<View>::AssignValMin(Space& home, const ValBranchOptions& vbo)
00192 : ValMin<View>(home,vbo) {}
00193
00194
00195 template<class View>
00196 forceinline
00197 AssignValMed<View>::AssignValMed(void) {}
00198 template<class View>
00199 forceinline
00200 AssignValMed<View>::AssignValMed(Space& home, const ValBranchOptions& vbo)
00201 : ValMed<View>(home,vbo) {}
00202
00203
00204 template<class View>
00205 forceinline
00206 AssignValRnd<View>::AssignValRnd(void) {}
00207 template<class View>
00208 forceinline
00209 AssignValRnd<View>::AssignValRnd(Space& home, const ValBranchOptions& vbo)
00210 : ValRnd<View>(home,vbo) {}
00211
00212
00213 template<class View>
00214 forceinline
00215 AssignValZero<View>::AssignValZero(void) {}
00216 template<class View>
00217 forceinline
00218 AssignValZero<View>::AssignValZero(Space& home,
00219 const ValBranchOptions& vbo)
00220 : ValZeroOne<View>(home,vbo) {}
00221
00222 }}}
00223
00224
00225