有什么不对这个FORALL在CPLEX语句来？(What is wrong with this fo

我想回答这里 ，但犯错：

   forall(t in 0..4){
    a[t]<=z[t];
    -a[t]<=z[t];
    x[t+1]==x[t]+v[t];
    v[t+1]==v[t]+a[t];
   }           

Answer 1:

递归方程进入未初始化间隔因此索引超出exeption的。 您可避免的调整这个错误：初始化的不需要估值，并将它们分配到零。

这产生了一些开销，但简化的逻辑，不能去想任何简单的方法来做到这一点。

文章来源: What is wrong with this forall -statement in CPLEX?