zimpl中出乎意料的VARSYM

Question

我在Zimpl代碼中得到了意想不到的VARSYM。這裏是我的代碼的一部分：

param T := 0.8; 
var S[Sensors] binary; 

minimize nb_sensors : sum <i> in Sensors : S[ i ]; 

subto fd: 

    1- prod <k,l> in Sensors*Pipe : (1-ord(Proba[k,l],1,1) * S[k]) >= T; 

看來這個錯誤是因爲我有一個變量（S[]）是函數（prod）裏面，你有關於這個問題的任何想法？

Answer 1

什麼是T，一個變量或一個常量？你有沒有試着寫產品括號：

1- (prod <k,l> in Sensors*Pipe : (1-ord(Proba[k,l],1,1) * S[k])) >= T; 

或改寫是：

prod <k,l> in Sensors*Pipe : (1-ord(Proba[k,l],1,1) * S[k]) + T <= 1;