46 namespace Gecode {
namespace Set {
namespace Sequence {
55 return new (home)
SeqU(home,share,*
this);
64 for (
int i=x.
size();
i--; ){
72 for (
int i=0;
i<x.
size();
i++) {
74 before.includeI(home, xiub);
86 for (
int i=x.
size();
i--; ) {
94 for (; diff(); ++diff)
114 bool modified =
false;
116 bool oldModified =
false;
119 oldModified = modified;
122 if (oldModified || modified || anybevent || cardevent)
124 if (oldModified || modified || anybevent)
126 if (oldModified || modified || ubevent)
128 if (oldModified || modified || ubevent)
130 if (oldModified || modified || anybevent)
132 if (oldModified || modified || cardevent || ubevent)