56 Branch::postviewvaluesbrancher<1,true>(home,xv,vs,bf,vvp);
59 Branch::postviewvaluesbrancher<1,false>(home,xv,vs,bf,vvp);
62 postviewvalbrancher<IntView,1,int,2>
75 vars.
a.expand(home,
x);
79 vars.
b.expand(home,
x);
83 vars.
c.expand(home,
x);
87 vars.
d.expand(home,
x);
98 Branch::postviewvaluesbrancher<2,true>(home,xv,vs,bf,vvp);
101 Branch::postviewvaluesbrancher<2,false>(home,xv,vs,bf,vvp);
104 postviewvalbrancher<IntView,2,int,2>
114 Branch::postviewvaluesbrancher<3,true>(home,xv,vs,bf,vvp);
117 Branch::postviewvaluesbrancher<3,false>(home,xv,vs,bf,vvp);
120 postviewvalbrancher<IntView,3,int,2>
130 Branch::postviewvaluesbrancher<4,true>(home,xv,vs,bf,vvp);
133 Branch::postviewvaluesbrancher<4,false>(home,xv,vs,bf,vvp);
136 postviewvalbrancher<IntView,4,int,2>
154 if (home.
failed())
return;
159 postviewvalbrancher<IntView,1,int,1>
166 assign(home, xv, ia,
nullptr, vvp);
176 if (home.
failed())
return;
182 postviewvalbrancher<BoolView,1,int,2>
192 if (home.
failed())
return;
193 vars.
a.expand(home,
x);
197 vars.
b.expand(home,
x);
201 vars.
c.expand(home,
x);
205 vars.
d.expand(home,
x);
216 postviewvalbrancher<BoolView,2,int,2>(home,xv,vs,vsc,bf,vvp);
222 postviewvalbrancher<BoolView,3,int,2>(home,xv,vs,vsc,bf,vvp);
228 postviewvalbrancher<BoolView,4,int,2>(home,xv,vs,vsc,bf,vvp);
244 if (home.
failed())
return;
249 postviewvalbrancher<BoolView,1,int,1>