44 namespace Gecode {
namespace Set {
namespace Branch {
111 using namespace Gecode;
112 using namespace Gecode::Set;
113 using namespace Gecode::Set::Branch;
116 if (home.
failed())
return;
122 post(home,xv,v,vals,o_vals,o_vars.
bf);
128 post(home,xv,v,vals,o_vals,o_vars.
bf);
134 post(home,xv,v,vals,o_vals,o_vars.
bf);
140 post(home,xv,v,vals,o_vals,o_vars.
bf);
146 post(home,xv,v,vals,o_vals,o_vars.
bf);
152 post(home,xv,v,vals,o_vals,o_vars.
bf);
158 post(home,xv,v,vals,o_vals,o_vars.
bf);
164 post(home,xv,v,vals,o_vals,o_vars.
bf);
170 post(home,xv,v,vals,o_vals,o_vars.
bf);
176 post(home,xv,v,vals,o_vals,o_vars.
bf);
182 post(home,xv,v,vals,o_vals,o_vars.
bf);
188 post(home,xv,v,vals,o_vals,o_vars.
bf);
194 post(home,xv,v,vals,o_vals,o_vars.
bf);
200 post(home,xv,v,vals,o_vals,o_vars.
bf);
206 post(home,xv,v,vals,o_vals,o_vars.
bf);
212 post(home,xv,v,vals,o_vals,o_vars.
bf);
226 using namespace Gecode;
227 using namespace Gecode::Set;
228 using namespace Gecode::Set::Branch;
231 if (home.
failed())
return;
234 branch(home,x,vars.
a,vals,o_vars.
a,o_vals);
254 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
262 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
270 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
278 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
286 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
294 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
302 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
310 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
318 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
326 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
334 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
342 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
350 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
358 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);