我怎样才能做出变化限制，不要超过特定值

Question

现在我面临一个问题，即进行变化不会超过特定值。 下面我会详细介绍。

using CP;

int a = 4;
int b = 3;
int c = 5;

range arange = 1..a;
range brange = 1..b;
range crange = 1..c;

dvar boolean x[a][b][c];
dvar int y[b][c] in 1..4;

---

在这种情况下，我正在尝试计算

y[b][c+1] = x[a][b][c] - 1 + y[b][c]; 

但是，所有的 y[e][t] 都在 1 到 4 之间。

我是说

如果 y[b][c] >= 4，则 y[b][c] == 4，如果 y[b][c]

这样。

---

所以，现在我正在尝试这样做

y[b][c+1] == max(min(x[a][b][c] -1 + y[b][c], 4), 1);

但它不起作用。

Answer 1

改用minl 和maxl：

y[b][c+1] == maxl(minl(2 * x[a][b][c] -1 + y[b][c], 4), 1);