Minizinc: выводить непрерывно значения переменной решения множества int

Question

у меня есть файл mzn, который определяет значения набора int

var set of int : ids; 

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

вывод, например, выглядит так:

идентификаторы: 4..7

возможно ли получить что-то вроде

идентификаторы: 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