在 minizinc 中迭代一个数组并输出它

Question

我想遍历 minizinc 中的一个数组并输出结果：像这样

数组[1..4] of int: my_array = [4,5,1,3];

输出 [forall(c in 1..4)("元素索引 c 是：(array[c])")];

输出应该是这样的 元素索引 1 是：4 元素索引 1 是：5 元素索引 1 是 :1 元素索引 1 是 :3

有没有办法在 Minizinc 中执行此操作，因为我不会在手册中找到它。

谢谢

数组[1..4] of int: my_array = [4,5,1,3];

输出 [forall(c in 1..4)("元素索引 c 是：(array[c])")];

输出应该是这样的 元素索引 1 是：4 元素索引 1 是：5 元素索引 1 是 :1 元素索引 1 是 :3

Answer 1

（我假设指数应该改变，即从 1..4 开始）。

output 部分需要一些不同的语法。这是执行此操作的一种方法：

array[1..4] of int: my_array = [4,5,1,3];
solve satisfy;
output [
  "element index (c) is: (my_array[c])
"
  | c in 1..4
];

输出是

element index 1 is: 4
element index 2 is: 5
element index 3 is: 1
element index 4 is: 3

在 output 部分之外还有另一种方法可以用于调试固定数组中的索引和值：使用 trace。这是打印相同内容的变体，但在 constraint 部分的 forall 循环中使用跟踪：

array[1..4] of int: my_array = [4,5,1,3];
solve satisfy;
constraint
  forall(c in 1..4) (
   trace("element index (c) is: (my_array[c])
")
  )
;

注意：使用trace 不会以任何可理解的方式打印决策变量。