Function rel

gecode/set/rel-op-const-cvv.cpp:46–57

  using namespace Gecode::Set::RelOp;

  void
  rel(Home home, const IntSet& x, SetOpType op, SetVar y, SetRelType r,
      SetVar z) {
    Set::Limits::check(x, "Set::rel");
    ConstSetView xv(home, x);
    GECODE_POST;
    if (r == SRT_CMPL) {
      post_compl(home, xv, op, y, z);
    } else {
      post_nocompl(home, xv, op, y, r, z);
    }
  }

}