Minizinc：创建一个int对数组

Question

创建n个int对的数组的Minizinc语法是什么：

{（x1，y1），（x2，y2），....（xn，yn）}

如何访问特定元素j以获取其y值？

Answer 1

在MiniZinc中，您目前使用多维数组来实现此目的。例如，如果要创建n对整数变量，可以使用：

array [1..n, 1..2] of var int: pairs;

然后，您可以访问每对，但也可以访问每个元素。例如，如果您要访问对j，则可以使用语句pairs[j]。这是一个维度1..2的数组;您可以使用y。

访问第二个元素（pairs[j][y]）

这种方法允许您直接使用变量，但您也可以使用对来调用数组的谓词。