该函数创建了一个强制执行 "ct约束的约束。

需要向 "IlcCPEngine实例添加约束条件（直接或间接）才能生效。 通常情况下，可以将约束条件转换为目标，并在选择点中使用（IlcOr）。

这个重载的 C++ 运算符会返回一个约束，该约束是其参数的否定。 为了将其考虑在内，必须将这一约束条件添加到模型中，并通过 "IloCplex或 "IloSolver"等算法提取出来。