C++ Reference: class DisjunctiveOverloadChecker
Note: This documentation is automatically generated.
| Method | |
|---|---|
DisjunctiveOverloadChecker | Return type: Arguments: |
Propagate | Return type: |
RegisterWith | Return type: Arguments: |
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2024-08-06 UTC.
[null,null,["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,["# DisjunctiveOverloadChecker\n\nC++ Reference: class DisjunctiveOverloadChecker\n===============================================\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 |"]]