C++ Reference: presolve_context
Note: This documentation is automatically generated.
Classes |
|
|---|---|
| PresolveContext | |
| SavedLiteral | |
| SavedVariable | |
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\u003ePresolveContext\u003c/code\u003e class is central to the presolve phase in CP-SAT, managing the transformation and simplification of the constraint programming model before the core solving process.\u003c/p\u003e\n"],["\u003cp\u003eThis documentation details the primary classes involved, including \u003ccode\u003ePresolveContext\u003c/code\u003e, \u003ccode\u003eSavedLiteral\u003c/code\u003e, and \u003ccode\u003eSavedVariable\u003c/code\u003e, essential for understanding and manipulating the model during presolve.\u003c/p\u003e\n"],["\u003cp\u003eThese classes provide mechanisms to save and restore information about variables and literals, crucial for reversing presolve operations to obtain a solution for the original problem.\u003c/p\u003e\n"]]],["The C++ `presolve_context` documentation outlines three classes: `PresolveContext`, `SavedLiteral`, and `SavedVariable`. These classes, likely used in optimization or SAT solving, manage the context during a presolve phase. `PresolveContext` likely handles the overall context, while `SavedLiteral` and `SavedVariable` likely store and manage specific literal and variable data respectively, potentially preserving information during the presolving process. The classes appear interconnected in a manner to support the presolving functionality.\n"],null,["# presolve_context\n\nC++ Reference: presolve_context\n===============================\n\n\nNote: This documentation is automatically generated.\n\n| Classes ------- ||\n|---------------------------------------------------------------------------------|---|\n| [PresolveContext](/optimization/reference/sat/presolve_context/PresolveContext) |\n| [SavedLiteral](/optimization/reference/sat/presolve_context/SavedLiteral) |\n| [SavedVariable](/optimization/reference/sat/presolve_context/SavedVariable) |"]]