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