C++ Reference: class BoundedVariableElimination
Note: This documentation is automatically generated.
| Method | |
|---|---|
BoundedVariableElimination | Return type: Arguments: |
DoOneRound | 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\u003eBoundedVariableElimination\u003c/code\u003e class is used for inprocessing within the or-tools SAT solver and is constructed with a pointer to the relevant \u003ccode\u003eModel\u003c/code\u003e.\u003c/p\u003e\n"],["\u003cp\u003eIt features a primary method, \u003ccode\u003eDoOneRound\u003c/code\u003e, which attempts a single round of variable elimination based on bounds and returns \u003ccode\u003etrue\u003c/code\u003e if any modifications were made to the model.\u003c/p\u003e\n"]]],["The `BoundedVariableElimination` class in C++ offers methods for constraint optimization. The core functionality is implemented within the `DoOneRound` method, which takes a boolean `log_info` argument and returns a boolean indicating if a round of processing has been done. The class constructor `BoundedVariableElimination` takes a `Model*` argument. This documentation describes the class and two core methods for constraint optimization.\n"],null,["# BoundedVariableElimination\n\nC++ Reference: class BoundedVariableElimination\n===============================================\n\n\nNote: This documentation is automatically generated.\n\n| Method ||\n|------------------------------------------------------------------------------------------------------------------|-----------------------------------------------------------|\n| [`BoundedVariableElimination`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/sat_inprocessing.h#L303) | Return type: `explicit ` Arguments: `Model* model` \u003cbr /\u003e |\n| [`DoOneRound`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/sat_inprocessing.h#L312) | Return type: `bool ` Arguments: `bool log_info` \u003cbr /\u003e |"]]