Function operator !=

gecode/minimodel/float-rel.cpp:77–80

  }

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