44 namespace Gecode {
namespace Set {
namespace Int {
78 int xssize = xs.size();
79 for (
int i=ys.
size();
i--;) {
83 int yssize = ys.size();
86 for (
int i=xs.
size();
i--;) {
107 return sizeof(*this);
113 return new (home)
ChannelInt(home,share,*
this);
120 for (
int v=xs.size();
v--;) {
123 if (xs[
v].modified())
126 if (xs[
v].modified()) {
136 for (
int i=ys.
size();
i--;) {
137 if (ys[
i].glbModified()) {
142 ys[
i].cacheGlb(home);
144 if (ys[
i].lubModified()) {
149 ys[
i].cacheLub(home);