类IloPropagatorI

IloPropagatorI类提供了一种定义自定义约束的简单方法，即通过一些 C++ 代码定义传播规则。 为此，您可以创建自己的 "IloPropagatorI子类。

编写自定义约束条件通常有两个原因。 其一是 CP 优化器不具备表达约束所需的建模功能，而且 "IloAllowedAssignments和 "IloForbiddenAssignments的效率不高（例如，所需的图元数量过多）。 第二个原因是有机会执行比 CP 优化器通常执行的更强的推论（传播）。 例如，同一个表达式在一个约束条件的多个地方使用，就会出现这种情况。

IloPropagatorI类的接口非常简单，只需定义一个虚拟函数 "execute即可执行所需的传播。 此外，您还必须明确说明约束涉及哪些变量。 每当您确定的某个变量改变其域时，传播器就会被调用。

下面的代码展示了如何编写一个传播器来保持整数变量的符号 (-1表示严格意义上的负数，+1 表示严格意义上的正数，0 表示零）。

   classSignI: publicIloPropagatorI{
   private:
     IloIntVar _x;
     IloIntVar_sgn；
   public:
     SignI(IloIntVarx,IloIntVarsgn)
       :IloPropagatorI(x.getEnv()), _x(x), _sgn(sgn) {
       addVar(x);
       addVar(sgn);
     }
     void execute() {
       if (!isInDomain(_sgn,'-1))'setMin(_x,0)；
       if (!isInDomain(_sgn,+1))setMax(_x,0)；
       if (!isInDomain(_sgn,0)) 'removeValue(_x,0)；

       if (getMin(_x) >= 0) 'removeValue(_sgn,'-1) ；
       ifgetMax(_x) <= 0)removeValue(_sgn,+1)；
     }
     IloPropagatorI* makeClone(IloEnvenv) const {
       返回新的 (env)SignI(_x,_sgn)；
     }
   };
 

    IlcIntmin =getMin(_x)；
    setMin(_x, min + 1);
    assert(getMin(_x) == min);
 

传播器的构造函数需要一个环境 "env。

由于 "IloPropagatorI是一个抽象类，因此提供了一个虚拟析构函数。

该函数应在 "IloPropagatorI子类的构造函数中为您定义的自定义约束中涉及的每个变量调用。

在对 "IloPropagatorI类进行子类化以创建自己的自定义约束时，您需要定义执行函数。 在子类中重载该函数时，该函数应更新约束变量的域，使其保持一致。

成员函数返回变量 "var的域元素个数。 请注意，由于域修改是在传播器内缓冲的，因此该值不包括自输入传播器的 "execute方法后所做的域修改。

成员函数返回变量 "var域的最大值。 请注意，由于域修改是在传播器内缓冲的，因此该值不包括自输入传播器的 "execute方法后所做的域修改。

成员函数返回变量 "var域的最小值。 请注意，由于域修改是在传播器内缓冲的，因此该值不包括自输入传播器的 "execute方法后所做的域修改。

成员函数返回变量 "var的值。 如果 "var在进入 "execute函数时没有固定，则会出现异常。

该成员函数用于确定变量 "var是否固定为某一数值。 需要注意的是，由于域修改在传播器内部被缓冲，因此只有当 "var在进入传播器的 "execute方法时被固定时，该函数才会返回 true。

该成员函数用于判断值 "value是否在变量 "var的当前域中。 Note that as domain modifications are buffered inside propagators, this function will return true if var had value in its domain on entry to the execute method of the propagator. This is the case even if that value has subsequently been removed from var during the current execution of execute.

该成员函数创建了一个迭代器（"IloPropagatorI::IntVarIterator的实例），用于遍历 "var域中的元素。 请注意，由于修改是在传播器内缓冲的，因此这次迭代将扫描 "var域中的所有值，正如输入 "execute成员函数时的值一样。

在对 "IloPropagatorI类进行子类化以创建自己的自定义约束时，应定义此方法，该方法将克隆 CP 优化引擎中使用的传播器。

This function can be called from the execute member function of your sub-class of IloPropagatorI. It removes value value from the domain of variable var. 请注意，这种修改是缓存的。 有关解释，请参见类文档。

This function can be called from the execute member function of your sub-class of IloPropagatorI. 它将 "var的最大值设置为 "max。 请注意，这种修改是缓冲的。 有关解释，请参见类文档。

This function can be called from the execute member function of your sub-class of IloPropagatorI. 它将 "var的最小值设置为 "min。 请注意，这种修改是缓冲的。 有关解释，请参见类文档。

This function can be called from the execute member function of your sub-class of IloPropagatorI. 它将 "var的最小值设为 "min，最大值设为 "max。 请注意，这种修改是缓存的。 有关解释，请参见类文档。

This function can be called from the execute member function of your sub-class of IloPropagatorI. 它将 "var的值设置为 "value。 请注意，这种修改是缓存的。 有关解释，请参见类文档。

This function can be called from the execute member function of your sub-class of IloPropagatorI. 它向求解器表明，传播器维护的约束条件被违反了。