operations_research::sat::SharedStatistics Class Reference

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

#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.

Detailed Description

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

Definition at line 755 of file synchronization.h.

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 1358 of file synchronization.cc.

Log()

void operations_research::sat::SharedStatistics::Log

(

SolverLogger *

logger

)

Logs all the added stats.

Definition at line 1366 of file synchronization.cc.

---

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

• ortools/sat/synchronization.h
• ortools/sat/synchronization.cc