在minizinc中随条件变化

Question

我正在将aimms中的模型转换为minizinc。在aimms中，我有一个变量定义为带有index domain (k,i)的X，其中i，s，t是设置小时的索引

指数为i，s，t的X的定义为：

sum((s,t) | (s <= i) and (t >= i), Pick(s,k,t) + OverPick(s,k,t))

我不确定如何在minizinc中编写这个变量。

Answer 1

对于s和t之间的给定区域k，Pick和OverPick中项目总和的MiniZinc语法为：

var int: X = sum([Pick[i,k] + OverPick[i,k] | i in s..t]);

这假设Pick[i,k]或OverPick[i,k]在area k中包含time i的挑库活动。

有关在语句上构造这些类型的更多信息，可以在Array Comprehensions的文档中找到