OR-Tools  9.6
SharedClausesManager Member List

This is the complete list of members for SharedClausesManager, including all inherited members.

AddBinaryClause(int id, int lit1, int lit2)SharedClausesManager
GetUnseenBinaryClauses(int id, std::vector< std::pair< int, int >> *new_clauses)SharedClausesManager
LogStatistics(SolverLogger *logger)SharedClausesManager
RegisterNewId()SharedClausesManager
SetWorkerNameForId(int id, const std::string &worker_name)SharedClausesManager
SharedClausesManager(bool always_synchronize)SharedClausesManagerexplicit
Synchronize()SharedClausesManager