// domain is 0..|cards|- 1 void count(Home home, const IntVarArgs& x, const IntSetArgs& c, IntConLevel icl) { IntArgs values(c.size()); for (int i = c.size(); i--; ) values[i] = i; count(home, x, c, values, icl); }
void element(Home home, const IntSetArgs& a, IntVar x, int w, IntVar y, int h, SetVar z) { if (a.size() == 0) throw Set::TooFewArguments("Set::element"); if (a.size() != w*h) throw Set::ArgumentSizeMismatch("Set::element"); GECODE_POST; element(home, a, pair(home,x,w,y,h), z); }
forceinline ElementUnionConst<SView,RView>:: ElementUnionConst(Home home, SView y0, const IntSetArgs& iv0, RView y1) : Propagator(home), x0(y0), n_iv(iv0.size()), x1(y1) { home.notice(*this,AP_DISPOSE); x0.subscribe(home,*this, PC_SET_ANY); x1.subscribe(home,*this, PC_SET_ANY); iv=static_cast<Space&>(home).alloc<IntSet>(n_iv); for (unsigned int i=iv0.size(); i--;) iv[i]=iv0[i]; }
void element(Home home, const IntSetArgs& x, IntVar y, SetVar z) { if (x.size() == 0) throw Set::TooFewArguments("Set::element"); for (int i=x.size(); i--;) Set::Limits::check(x[i], "Set::element"); GECODE_POST; SetView zv(z); Int::IntView yv(y); SingletonView single(yv); GECODE_ES_FAIL((Element::ElementUnionConst<SetView, SingletonView>::post(home, z, x, single))); }
void element(Home home, SetOpType op, const IntSetArgs& x, SetVar y, SetVar z, const IntSet& universe) { GECODE_POST; switch (op) { case SOT_DUNION: { Set::Element::ElementDisjoint<ConstSetView,SetView>::IdxViewArray iv(home, x.size()); for (int i=x.size(); i--;) { iv[i].idx = i; iv[i].view = ConstSetView(home, x[i]); } GECODE_ES_FAIL((Element::ElementDisjoint<ConstSetView,SetView>:: post(home,iv,y))); } // fall through case SOT_UNION: { GECODE_ES_FAIL( (Element::ElementUnionConst<SetView,SetView>:: post(home,z,x,y))); } break; case SOT_INTER: { Set::Element::ElementIntersection<ConstSetView, SetView,SetView>::IdxViewArray iv(home, x.size()); for (int i=x.size(); i--;) { iv[i].idx = i; iv[i].view = ConstSetView(home, x[i]); } GECODE_ES_FAIL( (Element::ElementIntersection<ConstSetView,SetView,SetView>:: post(home,iv,y,z,universe))); } break; case SOT_MINUS: throw IllegalOperation("Set::element"); break; default: throw UnknownOperation("Set::element"); } }
ExecStatus ElementUnionConst<SView,RView>:: post(Home home, SView x0, const IntSetArgs& xs, RView x1) { int n = xs.size(); // s2 \subseteq {1,...,n} Iter::Ranges::Singleton s(0, n-1); GECODE_ME_CHECK(x1.intersectI(home,s)); (void) new (home) ElementUnionConst<SView,RView>(home,x0,xs,x1); return ES_OK; }