Minizinc：创建一个 int 对数组
Minizinc: create an array of int pairs
像这样创建 n 个 int 对数组的 Minizinc 语法是什么：
{(x1,y1), (x2,y2),....(xn,yn)}
以及如何访问特定元素 j 以获取其 y 值等？
在 MiniZinc 中，您目前可以使用 multi-dimensional 数组来实现此目的。例如，如果您想创建 n 对整数变量，您可以使用：
array [1..n, 1..2] of var int: pairs;
然后您可以访问每一对，也可以访问每个元素。例如，如果你想访问对j，那么你可以使用语句pairs[j]。这是一个维度数组1..2；您可以使用 pairs[j][y].
访问第二个元素 (y)
这种方法允许您直接使用变量，但您也可以对调用数组的谓词使用对。
像这样创建 n 个 int 对数组的 Minizinc 语法是什么：
{(x1,y1), (x2,y2),....(xn,yn)}
以及如何访问特定元素 j 以获取其 y 值等？
在 MiniZinc 中，您目前可以使用 multi-dimensional 数组来实现此目的。例如，如果您想创建 n 对整数变量，您可以使用：
array [1..n, 1..2] of var int: pairs;
然后您可以访问每一对，也可以访问每个元素。例如，如果你想访问对j，那么你可以使用语句pairs[j]。这是一个维度数组1..2；您可以使用 pairs[j][y].
y)
这种方法允许您直接使用变量，但您也可以对调用数组的谓词使用对。