48 namespace Gecode {
namespace Set {
namespace Channel {
63 x0.update(home,share,p.
x0);
71 unsigned int xs_size =
static_cast<unsigned int>(xs.
size());
111 int xs_size = xs.size();
120 for (
int i=xs_size-1;
i--; ) {
125 for (
int i=xs_size-2;
i--; ) {
130 for (
int i=xs_size;
i--; ) {
137 for (
int i=xs_size;
i--; ) {
146 x0.exclude(home,xs[xs_size-1].max()+1,
149 for (
int i=xs_size-1;
i--; ) {
150 int start = xs[
i].max() + 1;
151 int end = xs[
i+1].min() - 1;
158 if (x0.glbSize()>0) {
166 for (; ubv() && lbv() && ubv.
val()==lbv.
val();
171 if (i<xs_size-1 && x0.lubMax()==x0.glbMax()) {
177 int to = x0.glbMax();
185 for (
int j=to; j>=from;j--,i--) {
193 for (
int i=xs_size;
i--; )