Function post_compl

gecode/set/rel-op/post-compl.cpp:42–46

namespace Gecode { namespace Set { namespace RelOp {

  void
  post_compl(Home home, SetView x, SetOpType op, SetView y, SetView z) {
    ComplementView<SetView> cz(z);
    rel_eq<SetView,SetView,ComplementView<SetView> >(home, x, op, y, cz);
  }

}}}