在 MiniZinc 中创建均匀函数

Question

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

我想定义一个函数，给定一个参数 i，returns 一个包含从 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];