Minizinc：创建INT对阵列

Question

什么是Minizinc语法来创建n个INT对一个这样的数组：

{（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;您可以使用pairs[j][y]访问第二个元素（y）。

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