此函数在 "IlcIntervalVar、"x1和 "x2的两个实例之间添加同步优先级。 先例规定，只要区间变量 "x1和 "x2同时存在，区间 "x1的末尾与区间 "x2的起点之间的距离 "start(x2)-end(x1)就是整数参数 "z。 该函数用于就两个时间间隔的同步问题做出二进制决定。