| 概述 | 组 | 树 | 图形 | 不推荐 | 索引 | 概念 |
该函数创建了一个约束,强制约束 "ct1和 "ct2的真值对立。 也就是说,约束条件不可能同时被违反或满足。
需要向 "IlcCPEngine实例添加约束条件(直接或间接)才能生效。 通常情况下,可以将约束条件转换为目标,并在选择点中使用(IlcOr)。
另请参阅:
此操作符在参数之间创建并返回不等式约束。
如果它的一个或两个参数都是受约束的整数表达式,那么在发布它时,该约束将与 "whenRange传播事件相关联。
当两个参数都是约束条件("IlcConstraint实例)时,该操作符创建并返回的约束条件是两个参数的排他析取。 也就是说,这两个参数会彼此不同。
创建约束后,在发布之前不会生效。
另请参阅:
限制条件, IlcIntExp, 操作符===, 操作符<=, 运算符>=
这个重载的 C++ 运算符限制其两个参数不相等(即互不相同)。 为了将其考虑在内,必须将这一约束条件添加到模型中,并为算法提取出来。