C++ Reference: restart
Note: This documentation is automatically generated.
Classes |
|
|---|---|
| RestartPolicy | |
- 本页内容
- Classes
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."],[[["This C++ reference guide provides information regarding the `restart` policies for optimization tasks."],["Developers can access details about the `RestartPolicy` class, which influences how the solver restarts during the search for solutions."]]],["The document details C++ reference information for `restart` functionality. It highlights the `RestartPolicy` class, which is found within the `sat` and `restart` namespaces under the `optimization` directory. This class likely controls or defines the policies for restarting processes or algorithms within an optimization context. It is the only class presented in this automatically generated documentation.\n"]]