38 namespace Gecode {
namespace Int {
namespace Sorted {
67 for (
int j = 0; j < xs; j++) {
68 int yjmin = y[j].min();
78 int ximin = x[
i].min();
101 for (
int i = 0;
i < xs;
i++) {
102 if (sinfo[
i].left ==
i) {
106 while (sinfo[z].right != z) {
108 scclist[phi[z]] = scc;
112 scclist[phi[z]] = scc;
132 template<
class View,
bool Perm>
147 for (
int i = 0;
i < xs;
i++) {
149 int xmin = x[
i].min();
158 while (y[start].
max() < xmin) {
159 start = sinfo[start].
right;
178 y[start].min() != x[
i].min());
180 int ptau = tau[xs - 1 -
i];
181 int xmax = x[ptau].max();
190 while (y[start].
min() > xmax) {
191 start = sinfo[start].
left;
197 ModEvent me_pub = z[ptau].lq(home, start);
201 nofix |= (
me_modified(me_pub) && start != z[ptau].max());
209 y[start].max() != x[ptau].max());
228 int phi[],
int phiprime[],
bool& nofix) {
229 for (
int i=x.
size();
i--; ) {
235 x[phiprime[
i]].min() != y[
i].min());
242 x[phi[
i]].max() != y[
i].max());