Function unary

gecode/int/unary.cpp:43–82

namespace Gecode {

  void
  unary(Home home, const IntVarArgs& s, const IntArgs& p, IntPropLevel ipl) {
    using namespace Gecode::Int;
    using namespace Gecode::Int::Unary;
    if (same(s))
      throw Int::ArgumentSame("Int::unary");
    if (s.size() != p.size())
      throw Int::ArgumentSizeMismatch("Int::unary");
    for (int i=0; i<p.size(); i++) {
      Int::Limits::nonnegative(p[i],"Int::unary");
      Int::Limits::check(static_cast<long long int>(s[i].max()) + p[i],
                         "Int::unary");
    }
    GECODE_POST;
    bool allOne = true;
    for (int i=0; i<p.size(); i++) {
      if (p[i] != 1) {
        allOne = false;
        break;
      }
    }
    if (allOne) {
      ViewArray<IntView> xv(home,s);
      switch (vbd(ipl)) {
      case IPL_BND:
        GECODE_ES_FAIL(Distinct::Bnd<IntView>::post(home,xv));
        break;
      case IPL_DOM:
        GECODE_ES_FAIL(Distinct::Dom<IntView>::post(home,xv));
        break;
      default:
        GECODE_ES_FAIL(Distinct::Val<IntView>::post(home,xv));
      }
    } else {
      TaskArray<ManFixPTask> t(home,s.size());
      for (int i=0; i<s.size(); i++)
        t[i].init(s[i],p[i]);
      GECODE_ES_FAIL(manpost(home,t,ipl));
    }
  }

  void
  unary(Home home, const TaskTypeArgs& t,