52 Branch::postviewvaluesbrancher<1,true>(home,xv,vs,bf,vvp);
55 Branch::postviewvaluesbrancher<1,false>(home,xv,vs,bf,vvp);
58 postviewvalbrancher<IntView,1,int,2>
71 vars.
a.expand(home,
x);
75 vars.
b.expand(home,
x);
79 vars.
c.expand(home,
x);
83 vars.
d.expand(home,
x);
94 Branch::postviewvaluesbrancher<2,true>(home,xv,vs,bf,vvp);
97 Branch::postviewvaluesbrancher<2,false>(home,xv,vs,bf,vvp);
100 postviewvalbrancher<IntView,2,int,2>
110 Branch::postviewvaluesbrancher<3,true>(home,xv,vs,bf,vvp);
113 Branch::postviewvaluesbrancher<3,false>(home,xv,vs,bf,vvp);
116 postviewvalbrancher<IntView,3,int,2>
126 Branch::postviewvaluesbrancher<4,true>(home,xv,vs,bf,vvp);
129 Branch::postviewvaluesbrancher<4,false>(home,xv,vs,bf,vvp);
132 postviewvalbrancher<IntView,4,int,2>
152 if (home.
failed())
return;
157 postviewvalbrancher<IntView,1,int,1>
167 if (home.
failed())
return;
168 vars.
a.expand(home,
x);
172 vars.
b.expand(home,
x);
176 vars.
c.expand(home,
x);
180 vars.
d.expand(home,
x);
189 postviewvalbrancher<IntView,2,int,1>
196 postviewvalbrancher<IntView,3,int,1>
203 postviewvalbrancher<IntView,4,int,1>
222 if (home.
failed())
return;
228 postviewvalbrancher<BoolView,1,int,2>
238 if (home.
failed())
return;
239 vars.
a.expand(home,
x);
243 vars.
b.expand(home,
x);
247 vars.
c.expand(home,
x);
251 vars.
d.expand(home,
x);
262 postviewvalbrancher<BoolView,2,int,2>(home,xv,vs,vsc,bf,vvp);
268 postviewvalbrancher<BoolView,3,int,2>(home,xv,vs,vsc,bf,vvp);
274 postviewvalbrancher<BoolView,4,int,2>(home,xv,vs,vsc,bf,vvp);
291 if (home.
failed())
return;
296 postviewvalbrancher<BoolView,1,int,1>
306 if (home.
failed())
return;
307 vars.
a.expand(home,
x);
311 vars.
b.expand(home,
x);
315 vars.
c.expand(home,
x);
319 vars.
d.expand(home,
x);
330 postviewvalbrancher<BoolView,2,int,1>(home,xv,vs,vsc,bf,vvp);
336 postviewvalbrancher<BoolView,3,int,1>(home,xv,vs,vsc,bf,vvp);
342 postviewvalbrancher<BoolView,4,int,1>(home,xv,vs,vsc,bf,vvp);
353 #ifdef GECODE_HAS_CBS
356 cbsbranch(Home home,
const IntVarArgs&
x) {
358 if (home.failed())
return;
359 ViewArray<IntView>
y(home,
x);
364 cbsbranch(Home home,
const BoolVarArgs&
x) {
366 if (home.failed())
return;
367 ViewArray<BoolView>
y(home,
x);