该函数限制其第一个参数暗示其第二个参数。 也就是说，如果满足 "ct1，则必须满足 "ct2；如果违反 "ct2，则必须同时违反 "ct1。

需要向 "IlcCPEngine实例添加约束条件（直接或间接）才能生效。 通常的做法是将约束条件转换为目标，并将其用于选择点（IlcOr）。

实现

在目标或约束条件中，该函数相当于这些行：

 voidIlcIfThen(IlcConstraint ct1,IlcConstraint ct2) {
     IlcCPEnginecp =ct1.getCPEngine()；
     cp.add(!ct1 || ct2);
 }