此函数在 "IlcIntervalVar、"x1"和 "x2"的两个实例之间添加优先级。 优先级规定，当区间变量 "x1和 "x2同时存在时，区间 "x2的起点与区间 "x1的终点之间的距离 "start(x2)-end(x1)必须大于或等于整数参数 "z。 该函数用于针对两个区间做出二进制决策。