Function operator !=

gecode/minimodel/int-rel.cpp:103–106

  }

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