C++ Reference: class LevelZeroEquality

Note: This documentation is automatically generated.

This assumes target = SUM_i coeffs[i] * vars[i], and detects that the target must be of the form (a*X + b).

This propagator is quite specific and runs only at level zero. For now, this is mainly used for the objective variable. As we fix terms with high objective coefficient, it is possible the only terms left have a common divisor. This close app2-2.mps in less than a second instead of running forever to prove the optimal (in single thread).

Arguments: IntegerVariable target, const std::vector<IntegerVariable>& vars, const std::vector<IntegerValue>& coeffs, Model* model


Return type: bool