急：如何在lingo程序中定义区间限制条件？各位兄弟姐妹帮帮忙，这个公式在lingo中怎么表示啊

[X_i，X_i+t_i] ∩ [X_j，X_j+t_j] = ∅ （i=1,2,…,7; j=1,2,…,7; i≠j）

这个表达式想表达的意思是多个不同的任务，执行的时候不会发生冲突，同一时刻只能有一个任务正在运行，如果能提供更好的表达式，也行，xi是任务开始的时间，ti是任务执行的时间

sets:
setname/1..7/:x,t;
endsets
@for(setname(i):@for(setname(j)|i#ne#j:(x(i)+t(i)#le#x(j))#or#(x(j)+t(j)#le#x(i))=1));!x_i+t_i<=x_j或x_j+t_j<=x_i为真;