Function rel

gecode/float/rel.cpp:42–65

namespace Gecode {

  void
  rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n) {
    using namespace Float;
    Limits::check(n,"Float::rel");
    GECODE_POST;
    FloatView x(x0);
    switch (frt) {
    case FRT_EQ: GECODE_ME_FAIL(x.eq(home,n)); break;
    case FRT_NQ:
      GECODE_ES_FAIL((Rel::NqFloat<FloatView>::post(home,x,n)));
      break;
    case FRT_LQ: GECODE_ME_FAIL(x.lq(home,n)); break;
    case FRT_LE:
      GECODE_ME_FAIL(x.lq(home,n));
      GECODE_ES_FAIL((Rel::NqFloat<FloatView>::post(home,x,n)));
      break;
    case FRT_GQ: GECODE_ME_FAIL(x.gq(home,n)); break;
    case FRT_GR:
      GECODE_ME_FAIL(x.gq(home,n));
      GECODE_ES_FAIL((Rel::NqFloat<FloatView>::post(home,x,n)));
      break;
    default: throw UnknownRelation("Float::rel");
    }
  }

  void
  rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1) {