Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::SharedClausesManager Class Referenceabstract

Detailed Description

Definition at line 853 of file synchronization.h.

#include <synchronization.h>

Public Member Functions

 SharedClausesManager (bool always_synchronize)
void AddBinaryClause (int id, int lit1, int lit2)
const CompactVectorVector< int > & GetUnseenClauses (int id)
void AddBatch (int id, CompactVectorVector< int > batch)
void GetUnseenBinaryClauses (int id, std::vector< std::pair< int, int > > *new_clauses)
int RegisterNewId (absl::string_view worker_name, bool may_terminate_early)
void Synchronize ()
void NotifyNumImported (int id, int64_t num_imported)
void LogStatistics (SolverLogger *logger)

Constructor & Destructor Documentation

◆ SharedClausesManager()

operations_research::sat::SharedClausesManager::SharedClausesManager ( bool always_synchronize)
explicit

Definition at line 1328 of file synchronization.cc.

Member Function Documentation

◆ AddBatch()

void operations_research::sat::SharedClausesManager::AddBatch ( int id,
CompactVectorVector< int > batch )

Definition at line 1380 of file synchronization.cc.

◆ AddBinaryClause()

void operations_research::sat::SharedClausesManager::AddBinaryClause ( int id,
int lit1,
int lit2 )

Definition at line 1360 of file synchronization.cc.

◆ GetUnseenBinaryClauses()

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

Definition at line 1401 of file synchronization.cc.

◆ GetUnseenClauses()

const CompactVectorVector< int > & operations_research::sat::SharedClausesManager::GetUnseenClauses ( int id)

Definition at line 1386 of file synchronization.cc.

◆ LogStatistics()

void operations_research::sat::SharedClausesManager::LogStatistics ( SolverLogger * logger)

Definition at line 1419 of file synchronization.cc.

◆ NotifyNumImported()

void operations_research::sat::SharedClausesManager::NotifyNumImported ( int id,
int64_t num_imported )

Definition at line 1414 of file synchronization.cc.

◆ RegisterNewId()

int operations_research::sat::SharedClausesManager::RegisterNewId ( absl::string_view worker_name,
bool may_terminate_early )

Definition at line 1331 of file synchronization.cc.

◆ Synchronize()

void operations_research::sat::SharedClausesManager::Synchronize ( )

Definition at line 1472 of file synchronization.cc.

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