OPL 上的递归求和约束

Recursive summation constraint on OPL

我想用OPL写一个递归求和函数。 总结一下,对于所有 j(某个索引),我想对 j 上的变量求和;但直到那个 j (总和的上限)。 例如假设 j 在 1..5 范围内。对于 j=3 我想求和 x1+x2+x3<=A 对于 j=4 它应该是 x1+x2+x3+x4<=A

我写了下面的代码,但我知道它不能正常工作。对此有何建议?

 forall(i in subjects, j in days)
   sum(j in days) x[i][j]<= i.PageNumber*(1-a[i][j]);

这里,求和可以加上什么条件? 谢谢

这可能就是您要找的东西

 forall(i in subjects, j in days)
   sum(g in 1..j) x[i][g]<= i.PageNumber*(1-a[i][j]);