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