[[["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."],[[["`FixedDivisionPropagator` enforces the constraint `var_a / cst_b = var_c` where `cst_b` is a constant greater than 0."],["This propagator only propagates bounds and doesn't handle special cases."],["It uses the bounds of `var_a` and `cst_b` to update the bounds of `var_c`, ensuring consistency."],["The core methods include construction (`FixedDivisionPropagator`), propagation (`Propagate`), and registration with a watcher (`RegisterWith`)."]]],["`FixedDivisionPropagator` propagates the constraint `var_a / cst_b = var_c` where `cst_b` is a constant greater than 0. It operates by propagating bounds and is initialized with affine expressions `a`, `c`, and a constant `b`, along with an `IntegerTrail`. Key actions include using the `Propagate` method to enforce constraints, which returns a boolean, and `RegisterWith` to add to a watcher.\n"]]
