CPLEX 用if会报错时条件约束的写法

     用OPL语言在CPLEX Studio IDE上解一些较为复杂的线性规划问题时，有时会用到条件约束，在其他语言体系下用 if 可以很简便地表达出来，但在CPLEX Studio IDE里，if 的判断条件不能包括决策变量，带来了很多麻烦，这里提供一种解决方法：

比如当 q[t-1]<=u[t] 时， u1[t] == q[t-1] 

我们可以直接表达为：

 (q[t-1]<=u[t]) => u1[t] == q[t-1];