如何使用 minizinc 对数组进行降序排序

Question

在 minizinc 中，有一个内置排序函数可以对一维数组进行排序，该数组按元素的升序对元素进行排序。我该如何做相反的事情？我找不到与它直接相关的函数。或者假设我可以使用排序函数，我可以从头到尾遍历它吗？

array[TYPE] of int: input;

% gives ascending ordered array
array[TYPE] of int: sorted = sort(input); 

array[TYPE] of int: reverse_sorted = ???? 

谢谢

Answer 1

我认为这应该有效

array[TYPE] of int: reverse_sorted = [sorted[TYPE - i + 1] | i in TYPE];