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."],[],["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,[]]