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