MiniZinc：類型錯誤：找不到具有此簽名的函數或謂詞：`cost(var int,var int)'

Question

int: W;
set of int: COL  = 1..W;
int: H; 
set of int: ROW  = 1..H;
array[ROW,COL] of int: cost;
int: budget; 
array[1..budget] of  var COL: x;
array[1..budget] of  var ROW: y;
array[1..budget] of  int: c;

...
constraint forall(i in 1..budget)(c[i]=cost(x[i],y[i]));

Minizinc 有一個約束類型錯誤報告：沒有找到具有此簽名的函數或謂詞：`cost(var int,var int)'。 如何使用 x,y 將數組成本中的值分配給數組 c？

Answer 1

cost被聲明為一個數組，而不是一個函數。 這意味着 MiniZinc 期望您使用方括號使用它，即cost[x[i], y[i]] 。 因為您目前正在使用括號 MiniZinc 認為cost(x[i],y[i])是一個函數調用。