minizinc - 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？

标签： minizinc

Answer 1

cost被声明为数组，而不是函数。这意味着 MiniZinc 希望您使用方括号来使用它，即cost[x[i], y[i]]. 因为您当前正在使用括号 MiniZinc 认为这cost(x[i],y[i])是一个函数调用。