Function rel

gecode/set/rel-op-const-cvc.cpp:46–58

  using namespace Gecode::Set::RelOp;

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

}