#include <gecode/minimodel.hh>
Go to the source code of this file.
Functions | |
LinIntRel | Gecode::operator== (int l, const IntVar &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (int l, const BoolVar &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (int l, const LinIntExpr &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const IntVar &l, int r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const BoolVar &l, int r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const LinIntExpr &l, int r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const IntVar &l, const IntVar &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const IntVar &l, const BoolVar &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const BoolVar &l, const IntVar &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const BoolVar &l, const BoolVar &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const IntVar &l, const LinIntExpr &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const BoolVar &l, const LinIntExpr &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const LinIntExpr &l, const IntVar &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const LinIntExpr &l, const BoolVar &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator== (const LinIntExpr &l, const LinIntExpr &r) |
Construct linear equality relation. More... | |
LinIntRel | Gecode::operator!= (int l, const IntVar &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (int l, const BoolVar &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (int l, const LinIntExpr &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const IntVar &l, int r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const BoolVar &l, int r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const LinIntExpr &l, int r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const IntVar &l, const IntVar &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const IntVar &l, const BoolVar &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const BoolVar &l, const IntVar &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const BoolVar &l, const BoolVar &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const IntVar &l, const LinIntExpr &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const BoolVar &l, const LinIntExpr &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const LinIntExpr &l, const IntVar &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const LinIntExpr &l, const BoolVar &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator!= (const LinIntExpr &l, const LinIntExpr &r) |
Construct linear disequality relation. More... | |
LinIntRel | Gecode::operator< (int l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (int l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (int l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const IntVar &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const BoolVar &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const LinIntExpr &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const IntVar &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const IntVar &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const BoolVar &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const BoolVar &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const IntVar &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const BoolVar &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const LinIntExpr &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const LinIntExpr &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator< (const LinIntExpr &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (int l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (int l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (int l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const IntVar &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const BoolVar &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const LinIntExpr &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const IntVar &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const IntVar &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const BoolVar &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const BoolVar &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const IntVar &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const BoolVar &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const LinIntExpr &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const LinIntExpr &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator<= (const LinIntExpr &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (int l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (int l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (int l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const IntVar &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const BoolVar &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const LinIntExpr &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const IntVar &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const IntVar &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const BoolVar &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const BoolVar &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const IntVar &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const BoolVar &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const LinIntExpr &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const LinIntExpr &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator> (const LinIntExpr &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (int l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (int l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (int l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const IntVar &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const BoolVar &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const LinIntExpr &l, int r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const IntVar &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const IntVar &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const BoolVar &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const BoolVar &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const IntVar &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const BoolVar &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const LinIntExpr &l, const IntVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const LinIntExpr &l, const BoolVar &r) |
Construct linear inequality relation. More... | |
LinIntRel | Gecode::operator>= (const LinIntExpr &l, const LinIntExpr &r) |
Construct linear inequality relation. More... | |
LinIntRel Gecode::operator== | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear equality relation.
Definition at line 43 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear equality relation.
Definition at line 47 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 51 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear equality relation.
Definition at line 55 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear equality relation.
Definition at line 59 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear equality relation.
Definition at line 63 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 67 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 71 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 75 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 79 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 83 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 87 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear equality relation.
Definition at line 91 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear equality relation.
Definition at line 95 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 99 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 104 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 108 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 112 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear disequality relation.
Definition at line 116 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear disequality relation.
Definition at line 120 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear disequality relation.
Definition at line 124 of file int-rel.cpp.
Construct linear disequality relation.
Definition at line 128 of file int-rel.cpp.
Construct linear disequality relation.
Definition at line 132 of file int-rel.cpp.
Construct linear disequality relation.
Definition at line 136 of file int-rel.cpp.
Construct linear disequality relation.
Definition at line 140 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 144 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 148 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 152 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 156 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 160 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 164 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 168 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 172 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 176 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 180 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 184 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 188 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 192 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 196 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 200 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 204 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 208 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 212 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 216 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 220 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 225 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 229 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 233 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 237 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 241 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 245 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 249 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 253 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 257 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 261 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 265 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 269 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 273 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 277 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 281 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 287 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 291 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 295 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 299 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 303 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 307 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 311 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 315 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 319 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 323 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 327 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 331 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 335 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 339 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 343 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 348 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 352 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 356 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 360 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 364 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 368 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 372 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 376 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 380 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 384 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 388 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 392 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 396 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 400 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 404 of file int-rel.cpp.