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`