C++ Reference: sat_decision
Note: This documentation is automatically generated.
Classes |
|
|---|---|
| SatDecisionPolicy | |
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\u003eThis documentation focuses on \u003ccode\u003esat_decision\u003c/code\u003e within the C++ reference, specifically for optimization tasks.\u003c/p\u003e\n"],["\u003cp\u003eThe core element presented is the \u003ccode\u003eSatDecisionPolicy\u003c/code\u003e class, essential for guiding decision-making processes in SAT (satisfiability) problem-solving.\u003c/p\u003e\n"]]],["The documentation focuses on the `SatDecisionPolicy` class within the C++ optimization library. This class, the core subject, is part of a module named `sat_decision`. The information presented is limited to the existence and linkage of this class, which is likely involved in making decisions within a satisfiability (SAT) solver context. The document is automatically generated and serves as a brief reference point.\n"],null,["# sat_decision\n\nC++ Reference: sat_decision\n===========================\n\n\nNote: This documentation is automatically generated.\n\n| Classes ------- ||\n|---------------------------------------------------------------------------------|---|\n| [SatDecisionPolicy](/optimization/reference/sat/sat_decision/SatDecisionPolicy) |"]]