C++ Reference: class DisjunctiveDetectablePrecedences
Note: This documentation is automatically generated.
| Method | |
|---|---|
DisjunctiveDetectablePrecedences | 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\u003eDisjunctiveDetectablePrecedences\u003c/code\u003e class helps detect and propagate precedences in scheduling problems within the OR-Tools library.\u003c/p\u003e\n"],["\u003cp\u003eIt utilizes a \u003ccode\u003eSchedulingConstraintHelper\u003c/code\u003e to manage and access scheduling-related data during propagation.\u003c/p\u003e\n"],["\u003cp\u003eThe primary method, \u003ccode\u003ePropagate\u003c/code\u003e, attempts to deduce and enforce precedences, returning \u003ccode\u003etrue\u003c/code\u003e if successful and the problem remains feasible.\u003c/p\u003e\n"],["\u003cp\u003e\u003ccode\u003eRegisterWith\u003c/code\u003e allows integration with a \u003ccode\u003eGenericLiteralWatcher\u003c/code\u003e for efficient constraint propagation based on literal assignments.\u003c/p\u003e\n"]]],["The `DisjunctiveDetectablePrecedences` class in C++ has three core methods: `DisjunctiveDetectablePrecedences`, `Propagate`, and `RegisterWith`. The constructor `DisjunctiveDetectablePrecedences` accepts a boolean `time_direction` and a `SchedulingConstraintHelper`. `Propagate` returns a boolean value, while `RegisterWith` returns an integer and takes a `GenericLiteralWatcher` as an argument. These methods are documented in the `disjunctive.h` header file.\n"],null,["# DisjunctiveDetectablePrecedences\n\nC++ Reference: class DisjunctiveDetectablePrecedences\n=====================================================\n\n\nNote: This documentation is automatically generated.\n\n| Method ||\n|-------------------------------------------------------------------------------------------------------------------|------------------------------------------------------------------------------------|\n| [`DisjunctiveDetectablePrecedences`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/disjunctive.h#L160) | \u003cbr /\u003e Arguments: `bool time_direction, SchedulingConstraintHelper* helper` \u003cbr /\u003e |\n| [`Propagate`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/disjunctive.h#L165) | Return type: `bool ` \u003cbr /\u003e |\n| [`RegisterWith`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/disjunctive.h#L166) | Return type: `int ` Arguments: `GenericLiteralWatcher* watcher` \u003cbr /\u003e |"]]