C++ Reference: class LinMinPropagator

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