C++ Reference: class LinMinPropagator

Note: This documentation is automatically generated.

Same as MinPropagator except this works on min = MIN(exprs) where exprs are linear expressions. It uses IntegerSumLE to propagate bounds on the exprs. Assumes Canonical expressions (all positive coefficients).

Method
LinMinPropagator	Arguments: const std::vector<LinearExpression>& exprs, IntegerVariable min_var, Model* model
LinMinPropagator	Arguments: const LinMinPropagator&) = delete; LinMinPropagator& operator=(const LinMinPropagator&) = delete; bool Propagate(
Propagate	Return type: bool
RegisterWith	Return type: void Arguments: GenericLiteralWatcher* watcher