Function operator >=

gecode/minimodel/float-rel.cpp:176–179

  }

  LinFloatRel
  operator >=(const FloatVal& l, const FloatVar& r) {
    return LinFloatRel(l,FRT_GQ,(const LinFloatExpr&)r);
  }
  LinFloatRel
  operator >=(const FloatVal& l, const LinFloatExpr& r) {
    return LinFloatRel(l,FRT_GQ,r);