[[["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,["# FixedDivisionPropagator\n\nC++ Reference: class FixedDivisionPropagator\n============================================\n\n\nNote: This documentation is automatically generated.\nPropagates var_a / cst_b = var_c. Basic version, we don't extract any special cases, and we only propagates the bounds. cst_b must be \\\u003e 0.\n\n| Method ||\n|-----------------------------------------------------------------------------------------------------------|----------------------------------------------------------------------------------------------------------------|\n| [`FixedDivisionPropagator`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/integer_expr.h#L305) | \u003cbr /\u003e Arguments: `AffineExpression a, IntegerValue b, AffineExpression c, IntegerTrail* integer_trail` \u003cbr /\u003e |\n| [`Propagate`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/integer_expr.h#L308) | Return type: `bool ` \u003cbr /\u003e |\n| [`RegisterWith`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/integer_expr.h#L309) | Return type: `void ` Arguments: `GenericLiteralWatcher* watcher` \u003cbr /\u003e |"]]
