void element(Home home, const SetVarArgs& 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); }
void channel(Home home, const IntVarArgs& x, const SetVarArgs& y) { if (home.failed()) return; ViewArray<Int::CachedView<Int::IntView> > xa(home,x.size()); for (int i=x.size(); i--;) new (&xa[i]) Int::CachedView<Int::IntView>(x[i]); ViewArray<Set::CachedView<Set::SetView> > ya(home,y.size()); for (int i=y.size(); i--;) new (&ya[i]) Set::CachedView<Set::SetView>(y[i]); GECODE_ES_FAIL((Set::Int::ChannelInt<Set::SetView>::post(home,xa,ya))); }
BrancherHandle branch(Home home, const SetVarArgs& x, SetVarBranch vars, SetValBranch vals, const Symmetries& syms, SetBranchFilter bf, SetVarValPrint vvp) { using namespace Set; if (home.failed()) return BrancherHandle(); vars.expand(home,x); ViewArray<SetView> xv(home,x); ViewSel<SetView>* vs[1] = { Branch::viewsel(home,vars) }; // Construct mapping from each variable in the array to its index // in the array. VariableMap variableMap; for (int i = 0 ; i < x.size() ; i++) variableMap[x[i].varimp()] = i; // Convert the modelling-level Symmetries object into an array of // SymmetryImp objects. int n = syms.size(); SymmetryImp<SetView>** array = static_cast<Space&>(home).alloc<SymmetryImp<SetView>* >(n); for (int i = 0 ; i < n ; i++) { array[i] = createSetSym(home, syms[i], variableMap); } return LDSBSetBrancher<SetView,1,int,2>::post (home,xv,vs,Branch::valselcommit(home,vals),array,n,bf,vvp); }
void sequence(Home home, const SetVarArgs& xa) { if (xa.size()==0) throw TooFewArguments("Set::seq"); if (home.failed()) return; ViewArray<SetView> x(home,xa); GECODE_ES_FAIL(Sequence::Seq::post(home, x)); }
void atmostOne(Home home, const SetVarArgs& xa, unsigned int c) { Set::Limits::check(c, "Set::atmostOne"); if (home.failed()) return; if (xa.size() < 2) return; ViewArray<SetView> x(home,xa); GECODE_ES_FAIL(Distinct::AtmostOne::post(home, x, c)); }
void element(Home home, const SetVarArgs& x, IntVar y, SetVar z) { if (x.size() == 0) throw Set::TooFewArguments("Set::element"); GECODE_POST; Set::Element::ElementUnion<SetView,SingletonView,SetView>::IdxViewArray iv(home, x); SetView zv(z); Int::IntView yv(y); SingletonView single(yv); GECODE_ES_FAIL((Element::ElementUnion<SetView,SingletonView,SetView> ::post(home, iv, single,zv))); }
SymmetryHandle VariableSequenceSymmetry(const SetVarArgs& x, int ss) { ArgArray<VarImpBase*> a(x.size()); for (int i = 0 ; i < x.size() ; i++) a[i] = x[i].varimp(); return SymmetryHandle(new VariableSequenceSymmetryObject(a, ss)); }
BrancherHandle branch(Home home, const SetVarArgs& x, TieBreak<SetVarBranch> vars, SetValBranch vals, const Symmetries& syms, SetBranchFilter bf, SetVarValPrint vvp) { using namespace Set; if (home.failed()) return BrancherHandle(); vars.a.expand(home,x); if ((vars.a.select() == SetVarBranch::SEL_NONE) || (vars.a.select() == SetVarBranch::SEL_RND)) vars.b = SET_VAR_NONE(); vars.b.expand(home,x); if ((vars.b.select() == SetVarBranch::SEL_NONE) || (vars.b.select() == SetVarBranch::SEL_RND)) vars.c = SET_VAR_NONE(); vars.c.expand(home,x); if ((vars.c.select() == SetVarBranch::SEL_NONE) || (vars.c.select() == SetVarBranch::SEL_RND)) vars.d = SET_VAR_NONE(); vars.d.expand(home,x); if (vars.b.select() == SetVarBranch::SEL_NONE) { return branch(home,x,vars.a,vals,syms,bf,vvp); } else { // Construct mapping from each variable in the array to its index // in the array. VariableMap variableMap; for (int i = 0 ; i < x.size() ; i++) variableMap[x[i].varimp()] = i; // Convert the modelling-level Symmetries object into an array of // SymmetryImp objects. int n = syms.size(); SymmetryImp<SetView>** array = static_cast<Space&>(home).alloc<SymmetryImp<SetView>* >(n); for (int i = 0 ; i < n ; i++) { array[i] = Set::LDSB::createSetSym(home, syms[i], variableMap); } ViewArray<SetView> xv(home,x); ValSelCommitBase<SetView,int>* vsc = Branch::valselcommit(home,vals); if (vars.c.select() == SetVarBranch::SEL_NONE) { ViewSel<SetView>* vs[2] = { Branch::viewsel(home,vars.a),Branch::viewsel(home,vars.b) }; return LDSBSetBrancher<SetView,2,int,2>::post(home,xv,vs,vsc,array,n,bf,vvp); } else if (vars.d.select() == SetVarBranch::SEL_NONE) { ViewSel<SetView>* vs[3] = { Branch::viewsel(home,vars.a),Branch::viewsel(home,vars.b), Branch::viewsel(home,vars.c) }; return LDSBSetBrancher<SetView,3,int,2>::post(home,xv,vs,vsc,array,n,bf,vvp); } else { ViewSel<SetView>* vs[4] = { Branch::viewsel(home,vars.a),Branch::viewsel(home,vars.b), Branch::viewsel(home,vars.c),Branch::viewsel(home,vars.d) }; return LDSBSetBrancher<SetView,4,int,2>::post(home,xv,vs,vsc,array,n,bf,vvp); } } }
void branch(Gecode::Home home, const SetVarArgs& x, const Gecode::TieBreakVarBranch<SetVarBranch>& vars, SetValBranch vals, const Gecode::TieBreakVarBranchOptions& o_vars, const Gecode::ValBranchOptions& o_vals) { using namespace Gecode; using namespace Gecode::Set; using namespace Gecode::Set::Branch; if (home.failed()) return; if ((vars.a == SET_VAR_NONE) || (vars.a == SET_VAR_RND) || ((vars.b == SET_VAR_NONE) && (vars.c == SET_VAR_NONE) && (vars.d == SET_VAR_NONE))) { branch(home,x,vars.a,vals,o_vars.a,o_vals); return; } if (o_vars.a.activity.initialized() && (o_vars.a.activity.size() != x.size())) throw ActivityWrongArity("branch (option a)"); if (o_vars.b.activity.initialized() && (o_vars.b.activity.size() != x.size())) throw ActivityWrongArity("branch (option b)"); if (o_vars.c.activity.initialized() && (o_vars.c.activity.size() != x.size())) throw ActivityWrongArity("branch (option c)"); if (o_vars.d.activity.initialized() && (o_vars.d.activity.size() != x.size())) throw ActivityWrongArity("branch (option d)"); ViewArray<SetView> xv(home,x); Gecode::ViewSelVirtualBase<SetView>* tb[3]; int n=0; if (vars.b != SET_VAR_NONE) virtualize(home,vars.b,o_vars.b,tb[n++]); if (vars.c != SET_VAR_NONE) virtualize(home,vars.c,o_vars.c,tb[n++]); if (vars.d != SET_VAR_NONE) virtualize(home,vars.d,o_vars.d,tb[n++]); assert(n > 0); ViewSelTieBreakDynamic<SetView> vbcd(home,tb,n); switch (vars.a) { case SET_VAR_DEGREE_MIN: { ViewSelDegreeMin<SetView> va(home,o_vars.a); ViewSelTieBreakStatic<ViewSelDegreeMin<SetView>, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_DEGREE_MAX: { ViewSelDegreeMax<SetView> va(home,o_vars.a); ViewSelTieBreakStatic<ViewSelDegreeMax<SetView>, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_AFC_MIN: { ViewSelAfcMin<SetView> va(home,o_vars.a); ViewSelTieBreakStatic<ViewSelAfcMin<SetView>, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_AFC_MAX: { ViewSelAfcMax<SetView> va(home,o_vars.a); ViewSelTieBreakStatic<ViewSelAfcMax<SetView>, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_ACTIVITY_MIN: { ViewSelActivityMin<SetView> va(home,o_vars.a); ViewSelTieBreakStatic<ViewSelActivityMin<SetView>, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_ACTIVITY_MAX: { ViewSelActivityMax<SetView> va(home,o_vars.a); ViewSelTieBreakStatic<ViewSelActivityMax<SetView>, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_MIN_MIN: { ByMinMin va(home,o_vars.a); ViewSelTieBreakStatic<ByMinMin, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_MIN_MAX: { ByMinMin va(home,o_vars.a); ViewSelTieBreakStatic<ByMinMin, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_MAX_MIN: { ByMaxMin va(home,o_vars.a); ViewSelTieBreakStatic<ByMaxMin, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_MAX_MAX: { ByMaxMax va(home,o_vars.a); ViewSelTieBreakStatic<ByMaxMax, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_SIZE_MIN: { BySizeMin va(home,o_vars.a); ViewSelTieBreakStatic<BySizeMin, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_SIZE_MAX: { BySizeMax va(home,o_vars.a); ViewSelTieBreakStatic<BySizeMax, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_SIZE_DEGREE_MIN: { BySizeDegreeMin va(home,o_vars.a); ViewSelTieBreakStatic<BySizeDegreeMin, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_SIZE_DEGREE_MAX: { BySizeDegreeMax va(home,o_vars.a); ViewSelTieBreakStatic<BySizeDegreeMax, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_SIZE_AFC_MIN: { BySizeAfcMin va(home,o_vars.a); ViewSelTieBreakStatic<BySizeAfcMin, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_SIZE_AFC_MAX: { BySizeAfcMax va(home,o_vars.a); ViewSelTieBreakStatic<BySizeAfcMax, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_SIZE_ACTIVITY_MIN: { BySizeActivityMin va(home,o_vars.a); ViewSelTieBreakStatic<BySizeActivityMin, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; case SET_VAR_SIZE_ACTIVITY_MAX: { BySizeActivityMax va(home,o_vars.a); ViewSelTieBreakStatic<BySizeActivityMax, ViewSelTieBreakDynamic<SetView> > v(home,va,vbcd); post(home,xv,v,vals,o_vals,o_vars.a.bf); } break; default: throw UnknownBranching("Set::branch"); } }
void branch(Gecode::Home home, const SetVarArgs& x, SetVarBranch vars, SetValBranch vals, const Gecode::VarBranchOptions& o_vars, const Gecode::ValBranchOptions& o_vals) { using namespace Gecode; using namespace Gecode::Set; using namespace Gecode::Set::Branch; if (home.failed()) return; if (o_vars.activity.initialized() && (o_vars.activity.size() != x.size())) throw ActivityWrongArity("branch"); ViewArray<SetView> xv(home,x); switch (vars) { case SET_VAR_NONE: { ViewSelNone<SetView> v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_RND: { ViewSelRnd<SetView> v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_DEGREE_MIN: { ViewSelDegreeMin<SetView> v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_DEGREE_MAX: { ViewSelDegreeMax<SetView> v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_AFC_MIN: { ViewSelAfcMin<SetView> v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_AFC_MAX: { ViewSelAfcMax<SetView> v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_ACTIVITY_MIN: { ViewSelActivityMin<SetView> v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_ACTIVITY_MAX: { ViewSelActivityMax<SetView> v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_MIN_MIN: { ByMinMin v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_MIN_MAX: { ByMinMin v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_MAX_MIN: { ByMaxMin v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_MAX_MAX: { ByMaxMax v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_SIZE_MIN: { BySizeMin v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_SIZE_MAX: { BySizeMax v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_SIZE_DEGREE_MIN: { BySizeDegreeMin v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_SIZE_DEGREE_MAX: { BySizeDegreeMax v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_SIZE_AFC_MIN: { BySizeAfcMin v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_SIZE_AFC_MAX: { BySizeAfcMax v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_SIZE_ACTIVITY_MIN: { BySizeActivityMin v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; case SET_VAR_SIZE_ACTIVITY_MAX: { BySizeActivityMax v(home,o_vars); post(home,xv,v,vals,o_vals,o_vars.bf); } break; default: throw UnknownBranching("Set::branch"); } }