operations_research::sat::SharedClausesManager Member List

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

AddBatch(int id, CompactVectorVector< int > batch)	operations_research::sat::SharedClausesManager
AddBinaryClause(int id, int lit1, int lit2)	operations_research::sat::SharedClausesManager
GetUnseenBinaryClauses(int id, std::vector< std::pair< int, int > > *new_clauses)	operations_research::sat::SharedClausesManager
GetUnseenClauses(int id)	operations_research::sat::SharedClausesManager
LogStatistics(SolverLogger *logger)	operations_research::sat::SharedClausesManager
RegisterNewId(bool may_terminate_early)	operations_research::sat::SharedClausesManager
SetWorkerNameForId(int id, absl::string_view worker_name)	operations_research::sat::SharedClausesManager
SharedClausesManager(bool always_synchronize)	operations_research::sat::SharedClausesManager	explicit
Synchronize()	operations_research::sat::SharedClausesManager