此函数在 "IlcIntervalVar、"x1"和 "x2"的两个实例之间添加优先级。 优先级规定，当区间变量 "x1和 "x2同时存在时，区间 "x1末端与区间 "x2末端之间的距离 "end(x2)-end(x1)必须大于或等于整数参数 "z。 该函数用于对两个区间的端点进行二元判定。