此函数在 "IlcIntervalVar、"x1"和 "x2"的两个实例之间添加存在排除。 排除规定，如果 "x1（相应的 "x2) 则 "x2（相应的 "x1) 不存在。 该函数用于传播两个区间之间存在的不兼容性。