Minizinc：连续输出决策变量集的值
Minizinc: output continuously values of a decision variable set of int
我有一个 mzn 文件，它决定了一组 int 的值
var set of int : ids;
output ["ids:" ++show(ids)]
例如，输出为：
ids: 4..7
有没有可能得到类似的东西
ids: 4,5,6,7
集合的连续值。
这可以通过使用 join 内置函数和理解将集合转换为字符串数组来实现：
var set of int: ids;
...
output["ids: " ++ join(",", [ "\(i)" | i in fix(ids)] )];
将输出：ids: 1,2,3,4
我有一个 mzn 文件，它决定了一组 int 的值
var set of int : ids;
output ["ids:" ++show(ids)]
例如，输出为：
ids: 4..7
有没有可能得到类似的东西
ids: 4,5,6,7
集合的连续值。
这可以通过使用 join 内置函数和理解将集合转换为字符串数组来实现：
var set of int: ids;
...
output["ids: " ++ join(",", [ "\(i)" | i in fix(ids)] )];
将输出：ids: 1,2,3,4