44 namespace Gecode {
namespace Set {
namespace RelOp {
51 template<
class View0,
class View1>
58 template<
class View0,
class View1>
68 template<
class View0,
class View1>
76 template<
class View0,
class View1>
79 return new (home)
PartitionN(home,share,*
this);
82 template<
class View0,
class View1>
97 template<
class View0,
class View1>
99 const IntSet& z, View1 y) {
104 template<
class View0,
class View1>
109 template<
class View0,
class View1>
120 bool modified =
false;
121 bool oldModified =
false;
124 oldModified = modified;
126 if (oldModified || anybevent)
128 if (modified || oldModified || anybevent)
130 if (modified || oldModified || ubevent)
132 if (modified || oldModified || lbevent)
134 if (modified || oldModified || ubevent)
136 if (modified || oldModified || cardevent)
141 for(
int i=0;
i<
x.size();
i++){
143 while (
i<
x.size() &&
x[
i].assigned()) {
145 unionOfDets.includeI(home,det);
155 unionOfDets.dispose(home);