38 namespace Gecode {
namespace Int {
namespace Branch {
55 return (a == 0) ? x.eq(home,n) : x.gr(home,n);
73 return (a == 0) ? x.eq(home,n) : x.nq(home,n);
87 unsigned int p =
r(x.size());
90 return i.min() +
static_cast<int>(p);
99 return (a == 0) ? x.eq(home,n) : x.nq(home,n);
137 return (x.width() == 2) ? x.min() : ((x.min()+x.max()) / 2);
142 return (a == 0) ? x.lq(home,n) : x.gr(home,n);
158 return (x.width() == 2) ? x.min() : ((x.min()+x.max()) / 2);
167 return (a == 0) ? x.lq(home,n) : x.gr(home,n);
186 return (a == 0) ? x.zero(home) : x.one(home);