Tightens the cumul bounds starting from the current cumul var min/max,
and propagating the precedences resulting from the next_accessor, and the
dimension's precedence rules.
Returns false iff the precedences are infeasible with the given routes.
Otherwise, the user can call CumulMin() and CumulMax() to retrieve the new
bounds of an index.
[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2024-08-06 UTC."],[],["The `CumulBoundsPropagator` class, used within the core optimizer, tightens cumul bounds based on model precedences. Key actions involve `PropagateCumulBounds`, which refines bounds using a `next_accessor` function and dimension precedence rules. It returns `false` if precedences are infeasible. `CumulMin` and `CumulMax` methods then provide the updated bounds for a given index. The class also provides methods to get the associated dimension and the constructor that receives the dimension as parameter.\n"]]