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