在 MiniZinc 中创建偶数函数

Question

我的问题很简单，但我对 MiniZinc 很陌生，所以这就是我问的原因。

我想定义一个函数，即使给定一个参数 i，返回一个包含从 0 到 2i 的偶数的列表。

例如，

even(4)=[0,2,4,6,8]

你能说出这个函数的代码吗？

Answer 1

使用数组推导可以快速解决这个问题：

function array[int] of int: even(int: n) =
    [ 2*i | i in 0..n];