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

Detailed Description

Definition at line 1025 of file synchronization.h.

#include <synchronization.h>

Public Member Functions

 SharedStatistics ()=default
void AddStats (absl::Span< const std::pair< std::string, int64_t > > stats)
void Log (SolverLogger *logger)

Constructor & Destructor Documentation

◆ SharedStatistics()

operations_research::sat::SharedStatistics::SharedStatistics ( )
default

Member Function Documentation

◆ AddStats()

void operations_research::sat::SharedStatistics::AddStats ( absl::Span< const std::pair< std::string, int64_t > > stats)

Definition at line 1579 of file synchronization.cc.

◆ Log()

void operations_research::sat::SharedStatistics::Log ( SolverLogger * logger)

Definition at line 1587 of file synchronization.cc.

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