[[["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\u003eThe \u003ccode\u003eDisjunctiveOverloadChecker\u003c/code\u003e class helps manage scheduling constraints within the OR Tools library.\u003c/p\u003e\n"],["\u003cp\u003eIt offers methods like \u003ccode\u003ePropagate\u003c/code\u003e for constraint propagation and \u003ccode\u003eRegisterWith\u003c/code\u003e for integration with a literal watcher.\u003c/p\u003e\n"],["\u003cp\u003eThis class is part of the SAT solver component and interacts with \u003ccode\u003eSchedulingConstraintHelper\u003c/code\u003e.\u003c/p\u003e\n"]]],["The `DisjunctiveOverloadChecker` class in C++ has three core methods. The `DisjunctiveOverloadChecker` method, a constructor, takes a `SchedulingConstraintHelper` pointer. `Propagate` returns a boolean value and likely handles constraint propagation. `RegisterWith` registers the checker with a `GenericLiteralWatcher` and returns an integer, probably indicating a registration ID or status. The methods' links refer to the specific locations in the or-tools library on GitHub.\n"],null,["C++ Reference: class DisjunctiveOverloadChecker\n\n\nNote: This documentation is automatically generated.\n\n| Method ||\n|-------------------------------------------------------------------------------------------------------------|---------------------------------------------------------------------------------|\n| [`DisjunctiveOverloadChecker`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/disjunctive.h#L138) | Return type: `explicit ` Arguments: `SchedulingConstraintHelper* helper` \u003cbr /\u003e |\n| [`Propagate`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/disjunctive.h#L143) | Return type: `bool ` \u003cbr /\u003e |\n| [`RegisterWith`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/disjunctive.h#L144) | Return type: `int ` Arguments: `GenericLiteralWatcher* watcher` \u003cbr /\u003e |"]]
