Minizinc：连续输出int决策变量集的值

Question

我有一个mzn文件，该文件决定一组int的值

var set of int : ids; 

output ["ids:" ++show(ids)]

例如，输出如下：

  

id：4..7

是否有可能得到类似的东西

  

id：4、5、6、7

集合的连续值。

Answer 1

这可以通过使用内置的join和一个理解将集合转换为字符串数组来实现：

var set of int: ids;
...
output["ids: " ++ join(",", [ "\(i)" | i in fix(ids)] )];

哪个将输出：ids: 1,2,3,4