Function operator >=

gecode/minimodel/int-rel.cpp:347–350

  }

  LinIntRel
  operator >=(int l, const IntVar& r) {
    return LinIntRel(l,IRT_GQ,r);
  }
  LinIntRel
  operator >=(int l, const BoolVar& r) {
    return LinIntRel(l,IRT_GQ,r);