[[["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 `DisjunctiveOverloadChecker` class helps manage scheduling constraints within the OR Tools library."],["It offers methods like `Propagate` for constraint propagation and `RegisterWith` for integration with a literal watcher."],["This class is part of the SAT solver component and interacts with `SchedulingConstraintHelper`."]]],["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"]]
