44 namespace Gecode {
namespace Set {
namespace Channel {
53 for (
int i=
xs.size();
i--;)
55 for (
int i=
ys.size();
i--;)
65 xs.update(home,share,p.
xs);
66 ys.update(home,share,p.
ys);
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);