Function count

gecode/int/gcc.cpp:99–132

  }

  void count(Home home, const IntVarArgs& x,
             const IntVarArgs& _c, const IntArgs& _v,
             IntPropLevel ipl) {
    using namespace Int;
    IntVarArgs c(_c);
    IntArgs v(_v);
    if (v.size() != c.size())
      throw ArgumentSizeMismatch("Int::count");
    if (same(x))
      throw ArgumentSame("Int::count");

    GECODE_POST;

    removeDuplicates(home,c,v);

    ViewArray<IntView> xv(home, x);
    ViewArray<GCC::CardView> cv(home, c.size());
    // set the cardinality
    for (int i=0; i<v.size(); i++)
      cv[i].init(c[i],v[i]);
    switch (vbd(ipl)) {
    case IPL_BND:
      GECODE_ES_FAIL(
                     (GCC::Bnd<GCC::CardView>::post(home,xv,cv)));
      break;
    case IPL_DOM:
      GECODE_ES_FAIL(
                     (GCC::Dom<GCC::CardView>::post(home,xv,cv)));
      break;
    default:
      GECODE_ES_FAIL(
                     (GCC::Val<GCC::CardView>::post(home,xv,cv)));
    }
  }

  // domain is 0..|cards|- 1
  void count(Home home, const IntVarArgs& x, const IntVarArgs& c,