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 #include <gecode/minimodel.hh>
00039
00040 namespace Gecode {
00041
00042
00043
00044
00045
00046 LinIntRel
00047 operator ==(int l, const IntVar& r) {
00048 return LinIntRel(l,IRT_EQ,r);
00049 }
00050 LinIntRel
00051 operator ==(int l, const BoolVar& r) {
00052 return LinIntRel(l,IRT_EQ,r);
00053 }
00054 LinIntRel
00055 operator ==(int l, const LinIntExpr& r) {
00056 return LinIntRel(l,IRT_EQ,r);
00057 }
00058 LinIntRel
00059 operator ==(const IntVar& l, int r) {
00060 return LinIntRel(l,IRT_EQ,r);
00061 }
00062 LinIntRel
00063 operator ==(const BoolVar& l, int r) {
00064 return LinIntRel(l,IRT_EQ,r);
00065 }
00066 LinIntRel
00067 operator ==(const LinIntExpr& l, int r) {
00068 return LinIntRel(l,IRT_EQ,r);
00069 }
00070 LinIntRel
00071 operator ==(const IntVar& l, const IntVar& r) {
00072 return LinIntRel(l,IRT_EQ,r);
00073 }
00074 LinIntRel
00075 operator ==(const IntVar& l, const BoolVar& r) {
00076 return LinIntRel(l,IRT_EQ,r);
00077 }
00078 LinIntRel
00079 operator ==(const BoolVar& l, const IntVar& r) {
00080 return LinIntRel(l,IRT_EQ,r);
00081 }
00082 LinIntRel
00083 operator ==(const BoolVar& l, const BoolVar& r) {
00084 return LinIntRel(l,IRT_EQ,r);
00085 }
00086 LinIntRel
00087 operator ==(const IntVar& l, const LinIntExpr& r) {
00088 return LinIntRel(l,IRT_EQ,r);
00089 }
00090 LinIntRel
00091 operator ==(const BoolVar& l, const LinIntExpr& r) {
00092 return LinIntRel(l,IRT_EQ,r);
00093 }
00094 LinIntRel
00095 operator ==(const LinIntExpr& l, const IntVar& r) {
00096 return LinIntRel(l,IRT_EQ,r);
00097 }
00098 LinIntRel
00099 operator ==(const LinIntExpr& l, const BoolVar& r) {
00100 return LinIntRel(l,IRT_EQ,r);
00101 }
00102 LinIntRel
00103 operator ==(const LinIntExpr& l, const LinIntExpr& r) {
00104 return LinIntRel(l,IRT_EQ,r);
00105 }
00106
00107 LinIntRel
00108 operator !=(int l, const IntVar& r) {
00109 return LinIntRel(l,IRT_NQ,r);
00110 }
00111 LinIntRel
00112 operator !=(int l, const BoolVar& r) {
00113 return LinIntRel(l,IRT_NQ,r);
00114 }
00115 LinIntRel
00116 operator !=(int l, const LinIntExpr& r) {
00117 return LinIntRel(l,IRT_NQ,r);
00118 }
00119 LinIntRel
00120 operator !=(const IntVar& l, int r) {
00121 return LinIntRel(l,IRT_NQ,r);
00122 }
00123 LinIntRel
00124 operator !=(const BoolVar& l, int r) {
00125 return LinIntRel(l,IRT_NQ,r);
00126 }
00127 LinIntRel
00128 operator !=(const LinIntExpr& l, int r) {
00129 return LinIntRel(l,IRT_NQ,r);
00130 }
00131 LinIntRel
00132 operator !=(const IntVar& l, const IntVar& r) {
00133 return LinIntRel(l,IRT_NQ,r);
00134 }
00135 LinIntRel
00136 operator !=(const IntVar& l, const BoolVar& r) {
00137 return LinIntRel(l,IRT_NQ,r);
00138 }
00139 LinIntRel
00140 operator !=(const BoolVar& l, const IntVar& r) {
00141 return LinIntRel(l,IRT_NQ,r);
00142 }
00143 LinIntRel
00144 operator !=(const BoolVar& l, const BoolVar& r) {
00145 return LinIntRel(l,IRT_NQ,r);
00146 }
00147 LinIntRel
00148 operator !=(const IntVar& l, const LinIntExpr& r) {
00149 return LinIntRel(l,IRT_NQ,r);
00150 }
00151 LinIntRel
00152 operator !=(const BoolVar& l, const LinIntExpr& r) {
00153 return LinIntRel(l,IRT_NQ,r);
00154 }
00155 LinIntRel
00156 operator !=(const LinIntExpr& l, const IntVar& r) {
00157 return LinIntRel(l,IRT_NQ,r);
00158 }
00159 LinIntRel
00160 operator !=(const LinIntExpr& l, const BoolVar& r) {
00161 return LinIntRel(l,IRT_NQ,r);
00162 }
00163 LinIntRel
00164 operator !=(const LinIntExpr& l, const LinIntExpr& r) {
00165 return LinIntRel(l,IRT_NQ,r);
00166 }
00167
00168 LinIntRel
00169 operator <(int l, const IntVar& r) {
00170 return LinIntRel(l,IRT_LE,r);
00171 }
00172 LinIntRel
00173 operator <(int l, const BoolVar& r) {
00174 return LinIntRel(l,IRT_LE,r);
00175 }
00176 LinIntRel
00177 operator <(int l, const LinIntExpr& r) {
00178 return LinIntRel(l,IRT_LE,r);
00179 }
00180 LinIntRel
00181 operator <(const IntVar& l, int r) {
00182 return LinIntRel(l,IRT_LE,r);
00183 }
00184 LinIntRel
00185 operator <(const BoolVar& l, int r) {
00186 return LinIntRel(l,IRT_LE,r);
00187 }
00188 LinIntRel
00189 operator <(const LinIntExpr& l, int r) {
00190 return LinIntRel(l,IRT_LE,r);
00191 }
00192 LinIntRel
00193 operator <(const IntVar& l, const IntVar& r) {
00194 return LinIntRel(l,IRT_LE,r);
00195 }
00196 LinIntRel
00197 operator <(const IntVar& l, const BoolVar& r) {
00198 return LinIntRel(l,IRT_LE,r);
00199 }
00200 LinIntRel
00201 operator <(const BoolVar& l, const IntVar& r) {
00202 return LinIntRel(l,IRT_LE,r);
00203 }
00204 LinIntRel
00205 operator <(const BoolVar& l, const BoolVar& r) {
00206 return LinIntRel(l,IRT_LE,r);
00207 }
00208 LinIntRel
00209 operator <(const IntVar& l, const LinIntExpr& r) {
00210 return LinIntRel(l,IRT_LE,r);
00211 }
00212 LinIntRel
00213 operator <(const BoolVar& l, const LinIntExpr& r) {
00214 return LinIntRel(l,IRT_LE,r);
00215 }
00216 LinIntRel
00217 operator <(const LinIntExpr& l, const IntVar& r) {
00218 return LinIntRel(l,IRT_LE,r);
00219 }
00220 LinIntRel
00221 operator <(const LinIntExpr& l, const BoolVar& r) {
00222 return LinIntRel(l,IRT_LE,r);
00223 }
00224 LinIntRel
00225 operator <(const LinIntExpr& l, const LinIntExpr& r) {
00226 return LinIntRel(l,IRT_LE,r);
00227 }
00228
00229 LinIntRel
00230 operator <=(int l, const IntVar& r) {
00231 return LinIntRel(l,IRT_LQ,r);
00232 }
00233 LinIntRel
00234 operator <=(int l, const BoolVar& r) {
00235 return LinIntRel(l,IRT_LQ,r);
00236 }
00237 LinIntRel
00238 operator <=(int l, const LinIntExpr& r) {
00239 return LinIntRel(l,IRT_LQ,r);
00240 }
00241 LinIntRel
00242 operator <=(const IntVar& l, int r) {
00243 return LinIntRel(l,IRT_LQ,r);
00244 }
00245 LinIntRel
00246 operator <=(const BoolVar& l, int r) {
00247 return LinIntRel(l,IRT_LQ,r);
00248 }
00249 LinIntRel
00250 operator <=(const LinIntExpr& l, int r) {
00251 return LinIntRel(l,IRT_LQ,r);
00252 }
00253 LinIntRel
00254 operator <=(const IntVar& l, const IntVar& r) {
00255 return LinIntRel(l,IRT_LQ,r);
00256 }
00257 LinIntRel
00258 operator <=(const IntVar& l, const BoolVar& r) {
00259 return LinIntRel(l,IRT_LQ,r);
00260 }
00261 LinIntRel
00262 operator <=(const BoolVar& l, const IntVar& r) {
00263 return LinIntRel(l,IRT_LQ,r);
00264 }
00265 LinIntRel
00266 operator <=(const BoolVar& l, const BoolVar& r) {
00267 return LinIntRel(l,IRT_LQ,r);
00268 }
00269 LinIntRel
00270 operator <=(const IntVar& l, const LinIntExpr& r) {
00271 return LinIntRel(l,IRT_LQ,r);
00272 }
00273 LinIntRel
00274 operator <=(const BoolVar& l, const LinIntExpr& r) {
00275 return LinIntRel(l,IRT_LQ,r);
00276 }
00277 LinIntRel
00278 operator <=(const LinIntExpr& l, const IntVar& r) {
00279 return LinIntRel(l,IRT_LQ,r);
00280 }
00281 LinIntRel
00282 operator <=(const LinIntExpr& l, const BoolVar& r) {
00283 return LinIntRel(l,IRT_LQ,r);
00284 }
00285 LinIntRel
00286 operator <=(const LinIntExpr& l, const LinIntExpr& r) {
00287 return LinIntRel(l,IRT_LQ,r);
00288 }
00289
00290 LinIntRel
00291 operator >(int l, const IntVar& r) {
00292 return LinIntRel(l,IRT_GR,r);
00293 }
00294 LinIntRel
00295 operator >(int l, const BoolVar& r) {
00296 return LinIntRel(l,IRT_GR,r);
00297 }
00298 LinIntRel
00299 operator >(int l, const LinIntExpr& r) {
00300 return LinIntRel(l,IRT_GR,r);
00301 }
00302 LinIntRel
00303 operator >(const IntVar& l, int r) {
00304 return LinIntRel(l,IRT_GR,r);
00305 }
00306 LinIntRel
00307 operator >(const BoolVar& l, int r) {
00308 return LinIntRel(l,IRT_GR,r);
00309 }
00310 LinIntRel
00311 operator >(const LinIntExpr& l, int r) {
00312 return LinIntRel(l,IRT_GR,r);
00313 }
00314 LinIntRel
00315 operator >(const IntVar& l, const IntVar& r) {
00316 return LinIntRel(l,IRT_GR,r);
00317 }
00318 LinIntRel
00319 operator >(const IntVar& l, const BoolVar& r) {
00320 return LinIntRel(l,IRT_GR,r);
00321 }
00322 LinIntRel
00323 operator >(const BoolVar& l, const IntVar& r) {
00324 return LinIntRel(l,IRT_GR,r);
00325 }
00326 LinIntRel
00327 operator >(const BoolVar& l, const BoolVar& r) {
00328 return LinIntRel(l,IRT_GR,r);
00329 }
00330 LinIntRel
00331 operator >(const IntVar& l, const LinIntExpr& r) {
00332 return LinIntRel(l,IRT_GR,r);
00333 }
00334 LinIntRel
00335 operator >(const BoolVar& l, const LinIntExpr& r) {
00336 return LinIntRel(l,IRT_GR,r);
00337 }
00338 LinIntRel
00339 operator >(const LinIntExpr& l, const IntVar& r) {
00340 return LinIntRel(l,IRT_GR,r);
00341 }
00342 LinIntRel
00343 operator >(const LinIntExpr& l, const BoolVar& r) {
00344 return LinIntRel(l,IRT_GR,r);
00345 }
00346 LinIntRel
00347 operator >(const LinIntExpr& l, const LinIntExpr& r) {
00348 return LinIntRel(l,IRT_GR,r);
00349 }
00350
00351 LinIntRel
00352 operator >=(int l, const IntVar& r) {
00353 return LinIntRel(l,IRT_GQ,r);
00354 }
00355 LinIntRel
00356 operator >=(int l, const BoolVar& r) {
00357 return LinIntRel(l,IRT_GQ,r);
00358 }
00359 LinIntRel
00360 operator >=(int l, const LinIntExpr& r) {
00361 return LinIntRel(l,IRT_GQ,r);
00362 }
00363 LinIntRel
00364 operator >=(const IntVar& l, int r) {
00365 return LinIntRel(l,IRT_GQ,r);
00366 }
00367 LinIntRel
00368 operator >=(const BoolVar& l, int r) {
00369 return LinIntRel(l,IRT_GQ,r);
00370 }
00371 LinIntRel
00372 operator >=(const LinIntExpr& l, int r) {
00373 return LinIntRel(l,IRT_GQ,r);
00374 }
00375 LinIntRel
00376 operator >=(const IntVar& l, const IntVar& r) {
00377 return LinIntRel(l,IRT_GQ,r);
00378 }
00379 LinIntRel
00380 operator >=(const IntVar& l, const BoolVar& r) {
00381 return LinIntRel(l,IRT_GQ,r);
00382 }
00383 LinIntRel
00384 operator >=(const BoolVar& l, const IntVar& r) {
00385 return LinIntRel(l,IRT_GQ,r);
00386 }
00387 LinIntRel
00388 operator >=(const BoolVar& l, const BoolVar& r) {
00389 return LinIntRel(l,IRT_GQ,r);
00390 }
00391 LinIntRel
00392 operator >=(const IntVar& l, const LinIntExpr& r) {
00393 return LinIntRel(l,IRT_GQ,r);
00394 }
00395 LinIntRel
00396 operator >=(const BoolVar& l, const LinIntExpr& r) {
00397 return LinIntRel(l,IRT_GQ,r);
00398 }
00399 LinIntRel
00400 operator >=(const LinIntExpr& l, const IntVar& r) {
00401 return LinIntRel(l,IRT_GQ,r);
00402 }
00403 LinIntRel
00404 operator >=(const LinIntExpr& l, const BoolVar& r) {
00405 return LinIntRel(l,IRT_GQ,r);
00406 }
00407 LinIntRel
00408 operator >=(const LinIntExpr& l, const LinIntExpr& r) {
00409 return LinIntRel(l,IRT_GQ,r);
00410 }
00411
00412 }
00413
00414