Function operator <=

gecode/minimodel/int-rel.cpp:225–228

  }

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