[[["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."],[[["\u003cp\u003e\u003ccode\u003eFixedDivisionPropagator\u003c/code\u003e enforces the constraint \u003ccode\u003evar_a / cst_b = var_c\u003c/code\u003e where \u003ccode\u003ecst_b\u003c/code\u003e is a constant greater than 0.\u003c/p\u003e\n"],["\u003cp\u003eThis propagator only propagates bounds and doesn't handle special cases.\u003c/p\u003e\n"],["\u003cp\u003eIt uses the bounds of \u003ccode\u003evar_a\u003c/code\u003e and \u003ccode\u003ecst_b\u003c/code\u003e to update the bounds of \u003ccode\u003evar_c\u003c/code\u003e, ensuring consistency.\u003c/p\u003e\n"],["\u003cp\u003eThe core methods include construction (\u003ccode\u003eFixedDivisionPropagator\u003c/code\u003e), propagation (\u003ccode\u003ePropagate\u003c/code\u003e), and registration with a watcher (\u003ccode\u003eRegisterWith\u003c/code\u003e).\u003c/p\u003e\n"]]],["`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"],null,[]]
