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

Simple class to add statistics by name and print them at the end. More...

Detailed Description

Simple class to add statistics by name and print them at the end.

Definition at line 785 of file synchronization.h.

#include <synchronization.h>

Public Member Functions

 SharedStatistics ()=default
void AddStats (absl::Span< const std::pair< std::string, int64_t > > stats)
 Adds a bunch of stats, adding count for the same key together.
void Log (SolverLogger *logger)
 Logs all the added stats.

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)

Adds a bunch of stats, adding count for the same key together.

Definition at line 1379 of file synchronization.cc.

◆ Log()

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

Logs all the added stats.

Definition at line 1387 of file synchronization.cc.

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