48 namespace Gecode {
namespace Set {
namespace Int {
62 x0.update(home,share,p.
x0);
69 unsigned int xs_size =
static_cast<unsigned int>(xs.
size());
79 (void)
new (home)
Match(home,x0,xs);
102 return new (home)
Match(home,share,*
this);
109 int xs_size = xs.size();
118 for (
int i=xs_size-1;
i--; ) {
123 for (
int i=xs_size-2;
i--; ) {
128 for (
int i=xs_size;
i--; ) {
135 for (
int i=xs_size;
i--; ) {
144 x0.exclude(home,xs[xs_size-1].max()+1,
147 for (
int i=xs_size-1;
i--; ) {
148 int start = xs[
i].max() + 1;
149 int end = xs[
i+1].min() - 1;
156 if (x0.glbSize()>0) {
164 for (; ubv() && lbv() && ubv.
val()==lbv.
val();
169 if (i<xs_size-1 && x0.lubMax()==x0.glbMax()) {
175 int to = x0.glbMax();
183 for (
int j=to; j>=from;j--,i--) {
191 for (
int i=xs_size;
i--; )