OR-Tools  9.6
Public Member Functions | List of all members
SharedClausesManagerabstract

Detailed Description

Definition at line 514 of file synchronization.h.

Public Member Functions

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

Constructor & Destructor Documentation

◆ SharedClausesManager()

SharedClausesManager ( bool  always_synchronize)
explicit

Definition at line 940 of file synchronization.cc.

Member Function Documentation

◆ AddBinaryClause()

void AddBinaryClause ( int  id,
int  lit1,
int  lit2 
)

Definition at line 957 of file synchronization.cc.

◆ GetUnseenBinaryClauses()

void GetUnseenBinaryClauses ( int  id,
std::vector< std::pair< int, int >> *  new_clauses 
)

Definition at line 976 of file synchronization.cc.

◆ LogStatistics()

void LogStatistics ( SolverLogger *  logger)

Definition at line 991 of file synchronization.cc.

◆ RegisterNewId()

int RegisterNewId ( )

Definition at line 943 of file synchronization.cc.

◆ SetWorkerNameForId()

void SetWorkerNameForId ( int  id,
const std::string &  worker_name 
)

Definition at line 951 of file synchronization.cc.

◆ Synchronize()

void Synchronize ( )

Definition at line 1007 of file synchronization.cc.

The documentation for this class was generated from the following files: