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;