Function operator <=

gecode/minimodel/float-rel.cpp:110–113

  }

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