C++ Reference: theta_tree
Note: This documentation is automatically generated.
Classes |
|
|---|---|
| ThetaLambdaTree | |
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."],[[["`ThetaLambdaTree` is a class within the OR-Tools library used for managing and exploring search trees in optimization problems, particularly in the context of SAT (satisfiability) solvers."],["This C++ reference provides documentation specifically for the `ThetaLambdaTree` class, which is a part of the OR-Tools' optimization toolkit for solving complex problems."]]],["The document provides automatically generated C++ reference information for `theta_tree`. It details the `ThetaLambdaTree` class, which is found under the `/optimization/reference/sat/theta_tree/` directory. This documentation is focused on this single class, suggesting it's a key component within the specified optimization and satisfiability context. The core action is defining and documenting a specific C++ class, `ThetaLambdaTree`.\n"]]