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

Detailed Description

Definition at line 931 of file synchronization.h.

#include <synchronization.h>

Classes

struct  Key

Public Member Functions

int RegisterNewId (std::string worker_name)
void LogStatistics (SolverLogger *logger)
void Add (int id, Key expr, IntegerValue lb, IntegerValue ub)
int RegisterNewImportId (std::string name)
std::vector< std::pair< Key, std::pair< IntegerValue, IntegerValue > > > NewlyUpdatedBounds (int import_id)
void NotifyNumImported (int import_id, int num)

Member Function Documentation

◆ Add()

void operations_research::sat::SharedLinear2Bounds::Add ( int id,
Key expr,
IntegerValue lb,
IntegerValue ub )

Definition at line 1516 of file synchronization.cc.

◆ LogStatistics()

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

Definition at line 1447 of file synchronization.cc.

◆ NewlyUpdatedBounds()

std::vector< std::pair< SharedLinear2Bounds::Key, std::pair< IntegerValue, IntegerValue > > > operations_research::sat::SharedLinear2Bounds::NewlyUpdatedBounds ( int import_id)

Definition at line 1551 of file synchronization.cc.

◆ NotifyNumImported()

void operations_research::sat::SharedLinear2Bounds::NotifyNumImported ( int import_id,
int num )
inline

Definition at line 982 of file synchronization.h.

◆ RegisterNewId()

int operations_research::sat::SharedLinear2Bounds::RegisterNewId ( std::string worker_name)

Definition at line 1346 of file synchronization.cc.

◆ RegisterNewImportId()

int operations_research::sat::SharedLinear2Bounds::RegisterNewImportId ( std::string name)

Definition at line 1540 of file synchronization.cc.

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