Method operator ()

gecode/float/relax.cpp:46–50

  };

  forceinline ExecStatus
  Relax::operator ()(Home home, FloatVar x, FloatVar sx) {
    FloatView xv(x);
    return me_failed(xv.eq(home,sx.val())) ? ES_FAILED : ES_OK;
  }

}}