44 namespace Gecode {
namespace Int {
namespace Branch {
123 using namespace Gecode;
124 using namespace Gecode::Int;
125 using namespace Gecode::Int::Branch;
128 if (home.
failed())
return;
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);
218 post(home,xv,v,vals,o_vals,o_vars.
bf);
224 post(home,xv,v,vals,o_vals,o_vars.
bf);
230 post(home,xv,v,vals,o_vals,o_vars.
bf);
236 post(home,xv,v,vals,o_vals,o_vars.
bf);
242 post(home,xv,v,vals,o_vals,o_vars.
bf);
248 post(home,xv,v,vals,o_vals,o_vars.
bf);
262 using namespace Gecode;
263 using namespace Gecode::Int;
264 using namespace Gecode::Int::Branch;
267 if (home.
failed())
return;
270 branch(home,x,vars.
a,vals,o_vars.
a,o_vals);
290 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
298 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
306 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
314 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
322 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
330 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
338 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
346 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
354 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
362 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
370 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
378 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
386 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
394 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
402 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
410 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
418 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);
426 post(home,xv,v,vals,o_vals,o_vars.
a.
bf);