C++ Reference: precedences
Note: This documentation is automatically generated.
Classes |
|
|---|---|
| PrecedencesPropagator | |
- 本页内容
- 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 documentation details the precedences classes available in C++ for optimization and constraint satisfaction problems, focusing on the PrecedencesPropagator class."],["The PrecedencesPropagator class is designed for managing and applying precedence constraints within optimization processes, specifically within the context of the SAT (satisfiability) problem domain."]]],["The provided C++ documentation defines a `PrecedencesPropagator` class within the context of optimization, specifically within the `sat` namespace. This class is part of a set of tools designed for handling precedences, which suggests a focus on order constraints within a problem. The core information is the existence and naming of this class, `PrecedencesPropagator`, as a central element for managing precedence relationships.\n"]]