Contains the table we display after the solver is done. More...

#include <stat_tables.h>

Public Member Functions
	SharedStatTables ()

void	AddTimingStat (const SubSolver &subsolver)
	Add a line to the corresponding table.

void	AddSearchStat (absl::string_view name, Model *model)

void	AddClausesStat (absl::string_view name, Model *model)

void	AddLpStat (absl::string_view name, Model *model)

void	AddLnsStat (absl::string_view name, int64_t num_fully_solved_calls, int64_t num_calls, int64_t num_improving_calls, double difficulty, double deterministic_limit)

void	AddLsStat (absl::string_view name, int64_t num_batches, int64_t num_restarts, int64_t num_linear_moves, int64_t num_general_moves, int64_t num_compound_moves, int64_t num_backtracks, int64_t num_weight_updates, int64_t num_scores_computed)

void	Display (SolverLogger *logger)
	Display the set of table at the end.

Detailed Description

Contains the table we display after the solver is done.

Definition at line 33 of file stat_tables.h.

Constructor & Destructor Documentation

◆ SharedStatTables()

operations_research::sat::SharedStatTables::SharedStatTables ( )

Definition at line 39 of file stat_tables.cc.

Member Function Documentation

◆ AddClausesStat()

void operations_research::sat::SharedStatTables::AddClausesStat	(	absl::string_view	name,
		Model *	model )

Definition at line 94 of file stat_tables.cc.

◆ AddLnsStat()

void operations_research::sat::SharedStatTables::AddLnsStat	(	absl::string_view	name,
		int64_t	num_fully_solved_calls,
		int64_t	num_calls,
		int64_t	num_improving_calls,
		double	difficulty,
		double	deterministic_limit )

Definition at line 230 of file stat_tables.cc.

◆ AddLpStat()

void operations_research::sat::SharedStatTables::AddLpStat	(	absl::string_view	name,
		Model *	model )

Sum per component for the lp_table.

Last dimension of the first component for the lp_dim_table_.

Sum per component for the lp_manager_table_.

For the cut table.

For the debug table.

In case of more than one component, we take the first one.

Sum for the lp debug table.

Sum for the lp manager table.

Definition at line 111 of file stat_tables.cc.

◆ AddLsStat()

void operations_research::sat::SharedStatTables::AddLsStat	(	absl::string_view	name,
		int64_t	num_batches,
		int64_t	num_restarts,
		int64_t	num_linear_moves,
		int64_t	num_general_moves,
		int64_t	num_compound_moves,
		int64_t	num_backtracks,
		int64_t	num_weight_updates,
		int64_t	num_scores_computed )

Definition at line 247 of file stat_tables.cc.

◆ AddSearchStat()

void operations_research::sat::SharedStatTables::AddSearchStat	(	absl::string_view	name,
		Model *	model )

Definition at line 81 of file stat_tables.cc.

◆ AddTimingStat()

void operations_research::sat::SharedStatTables::AddTimingStat ( const SubSolver & subsolver )

Add a line to the corresponding table.

Definition at line 75 of file stat_tables.cc.

◆ Display()

void operations_research::sat::SharedStatTables::Display ( SolverLogger * logger )

Display the set of table at the end.

Construct and generate lp cut table.

Note: this one is transposed compared to the normal one.

Collect all line names.

Create header and compute index.

Fill lines.

Definition at line 263 of file stat_tables.cc.

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

ortools/sat/stat_tables.h
ortools/sat/stat_tables.cc

Public Member Functions