Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::SharedClausesManager Member List

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

AddBinaryClause(int id, int lit1, int lit2)operations_research::sat::SharedClausesManager
GetClauseStream(int id)operations_research::sat::SharedClausesManagerinline
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()operations_research::sat::SharedClausesManager
SetWorkerNameForId(int id, const std::string &worker_name)operations_research::sat::SharedClausesManager
SharedClausesManager(bool always_synchronize, absl::Duration share_frequency)operations_research::sat::SharedClausesManagerexplicit
Synchronize()operations_research::sat::SharedClausesManager