Function distinct

gecode/int/distinct.cpp:45–62

namespace Gecode {

  void
  distinct(Home home, const IntVarArgs& x, IntPropLevel ipl) {
    using namespace Int;
    if (same(x))
      throw ArgumentSame("Int::distinct");
    GECODE_POST;
    ViewArray<IntView> xv(home,x);
    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));
    }
  }

  void
  distinct(Home home, const IntArgs& c, const IntVarArgs& x,