Function operator <

gecode/minimodel/float-rel.cpp:143–146

  }

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