operations_research::sat::SharedStatTables Class Reference

Detailed Description

Definition at line 33 of file stat_tables.h.

#include <stat_tables.h>

Public Member Functions
	SharedStatTables ()
void	AddTimingStat (const SubSolver &subsolver)
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)

Constructor & Destructor Documentation

SharedStatTables()

operations_research::sat::SharedStatTables::SharedStatTables

(

)

Definition at line 42 of file stat_tables.cc.

Member Function Documentation

AddClausesStat()

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

Definition at line 100 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 318 of file stat_tables.cc.

AddLpStat()

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

Definition at line 199 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 335 of file stat_tables.cc.

AddSearchStat()

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

Definition at line 76 of file stat_tables.cc.

AddTimingStat()

void operations_research::sat::SharedStatTables::AddTimingStat

(

const SubSolver &

subsolver

)

Definition at line 70 of file stat_tables.cc.

Display()

void operations_research::sat::SharedStatTables::Display

(

SolverLogger *

logger

)

Definition at line 351 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