You have declared TIME is the set, but the way describe makes me think that TIME should be param. Is the members of TIME is 1...n, then you could declare param Time:=5;(say n=5), then use 1...Time to get all the members from 1...Time. You could write your constraint as follows:
subject to c1{i in Number, t in 2..Time}: u[i,t] >= x[i,t] - x[i,t-1];
If the members of time are indeed a set then you could modify your constraint: subject to c1{i in Number, t in Time: t!=0}: u[i,t] >= x[i,t] - x[i,t-1];
--
Paras Tiwari
am...@googlegroups.com