operations_research::sat::SolverProgressLogger Class Reference

Detailed Description

Definition at line 31 of file cp_model_solver_logging.h.

#include <cp_model_solver_logging.h>

Public Member Functions
	SolverProgressLogger (Model *model)
void	UpdateProgress (const SolverStatusChangeInfo &info)
void	SetIsOptimization (bool is_optimization)
void	DisplayImprovementStatistics (SolverLogger *logger) const

Constructor & Destructor Documentation

SolverProgressLogger()

operations_research::sat::SolverProgressLogger::SolverProgressLogger ( Model * model )

inlineexplicit

Definition at line 33 of file cp_model_solver_logging.h.

Member Function Documentation

DisplayImprovementStatistics()

void operations_research::sat::SolverProgressLogger::DisplayImprovementStatistics

(

SolverLogger *

logger

)

const

Definition at line 114 of file cp_model_solver_logging.cc.

SetIsOptimization()

void operations_research::sat::SolverProgressLogger::SetIsOptimization ( bool is_optimization )

inline

Definition at line 41 of file cp_model_solver_logging.h.

UpdateProgress()

void operations_research::sat::SolverProgressLogger::UpdateProgress

(

const SolverStatusChangeInfo &

info

)

Definition at line 65 of file cp_model_solver_logging.cc.

---

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

• ortools/sat/cp_model_solver_logging.h
• ortools/sat/cp_model_solver_logging.cc