Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: class SharedClausesManager
Note: This documentation is automatically generated.
This class holds all the binary clauses that were found and shared by the
workers.
It is thread-safe.
Note that this uses literal as encoded in a cp_model.proto. The literals can
thus be negative numbers.
| Method |
AddBinaryClause | Return type: void Arguments: int id, int lit1, int lit2 |
GetUnseenBinaryClauses | Return type: void Arguments: int id,
std::vector<std::pair<int, int>>* new_clauses Fills flat_clauses with
(lit1 of clause1, lit2 of clause1, lit1 of clause 2, lit2 of clause2 ...)
|
LogStatistics | Return type: void Arguments: SolverLogger* logger Search statistics.
|
RegisterNewId | Return type: int |
SetWorkerNameForId | Return type: void Arguments: int id, const std::string& worker_name |
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 `SharedClausesManager` class manages binary clauses shared by workers in a thread-safe manner, using literals from `cp_model.proto`. Key actions include: `AddBinaryClause` to add a binary clause given an ID and two literals; `GetUnseenBinaryClauses` to retrieve unseen clauses; `LogStatistics` for logging search statistics; `RegisterNewId` to get a unique ID; and `SetWorkerNameForId` to associate a worker's name with an ID. Literals can be negative numbers.\n"],null,[]]
