Function rel

gecode/set/rel-op-ternary.cpp:44–52

  using namespace Gecode::Set::RelOp;

  void
  rel(Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z) {
    GECODE_POST;
    if (r == SRT_CMPL) {
      post_compl(home, x, op, y, z);
    } else {
      post_nocompl(home, x, op, y, r, z);
    }
  }

}