Detailed Description

Definition at line 45 of file cp_model_solver_helpers.h.

#include <cp_model_solver_helpers.h>

Public Member Functions
	SharedClasses (const CpModelProto proto, Model global_model)
void	RegisterSharedClassesInLocalModel (Model *local_model)
bool	SearchIsDone ()
void	LogFinalStatistics ()

Public Attributes
const CpModelProto &	model_proto
WallTimer *const	wall_timer
ModelSharedTimeLimit *const	time_limit
SolverLogger *const	logger
SharedStatistics *const	stats
SharedStatTables *const	stat_tables
SharedResponseManager *const	response
SharedTreeManager *const	shared_tree_manager
SharedLsSolutionRepository *const	ls_hints
SolverProgressLogger *const	progress_logger
SharedLratProofStatus *const	lrat_proof_status
std::unique_ptr< SharedBoundsManager >	bounds
std::unique_ptr< SharedLPSolutionRepository >	lp_solutions
std::unique_ptr< SharedIncompleteSolutionManager >	incomplete_solutions
std::unique_ptr< SharedClausesManager >	clauses
std::unique_ptr< SharedLinear2Bounds >	linear2_bounds

Constructor & Destructor Documentation

◆ SharedClasses()

operations_research::sat::SharedClasses::SharedClasses	(	const CpModelProto *	proto,
		Model *	global_model )

Definition at line 2245 of file cp_model_solver_helpers.cc.

Member Function Documentation

◆ LogFinalStatistics()

void operations_research::sat::SharedClasses::LogFinalStatistics ( )

Definition at line 2333 of file cp_model_solver_helpers.cc.

◆ RegisterSharedClassesInLocalModel()

void operations_research::sat::SharedClasses::RegisterSharedClassesInLocalModel ( Model * local_model )

Definition at line 2294 of file cp_model_solver_helpers.cc.

◆ SearchIsDone()

bool operations_research::sat::SharedClasses::SearchIsDone ( )

Definition at line 2323 of file cp_model_solver_helpers.cc.

Member Data Documentation

◆ bounds

std::unique_ptr<SharedBoundsManager> operations_research::sat::SharedClasses::bounds

Definition at line 62 of file cp_model_solver_helpers.h.

◆ clauses

std::unique_ptr<SharedClausesManager> operations_research::sat::SharedClasses::clauses

Definition at line 65 of file cp_model_solver_helpers.h.

◆ incomplete_solutions

std::unique_ptr<SharedIncompleteSolutionManager> operations_research::sat::SharedClasses::incomplete_solutions

Definition at line 64 of file cp_model_solver_helpers.h.

◆ linear2_bounds

std::unique_ptr<SharedLinear2Bounds> operations_research::sat::SharedClasses::linear2_bounds

Definition at line 66 of file cp_model_solver_helpers.h.

◆ logger

SolverLogger* const operations_research::sat::SharedClasses::logger

Definition at line 52 of file cp_model_solver_helpers.h.

◆ lp_solutions

std::unique_ptr<SharedLPSolutionRepository> operations_research::sat::SharedClasses::lp_solutions

Definition at line 63 of file cp_model_solver_helpers.h.

◆ lrat_proof_status

SharedLratProofStatus* const operations_research::sat::SharedClasses::lrat_proof_status

Definition at line 59 of file cp_model_solver_helpers.h.

◆ ls_hints

SharedLsSolutionRepository* const operations_research::sat::SharedClasses::ls_hints

Definition at line 57 of file cp_model_solver_helpers.h.

◆ model_proto

const CpModelProto& operations_research::sat::SharedClasses::model_proto

Definition at line 49 of file cp_model_solver_helpers.h.

◆ progress_logger

SolverProgressLogger* const operations_research::sat::SharedClasses::progress_logger

Definition at line 58 of file cp_model_solver_helpers.h.

◆ response

SharedResponseManager* const operations_research::sat::SharedClasses::response

Definition at line 55 of file cp_model_solver_helpers.h.

◆ shared_tree_manager

SharedTreeManager* const operations_research::sat::SharedClasses::shared_tree_manager

Definition at line 56 of file cp_model_solver_helpers.h.

◆ stat_tables

SharedStatTables* const operations_research::sat::SharedClasses::stat_tables

Definition at line 54 of file cp_model_solver_helpers.h.

◆ stats

SharedStatistics* const operations_research::sat::SharedClasses::stats

Definition at line 53 of file cp_model_solver_helpers.h.

◆ time_limit

ModelSharedTimeLimit* const operations_research::sat::SharedClasses::time_limit

Definition at line 51 of file cp_model_solver_helpers.h.

◆ wall_timer

WallTimer* const operations_research::sat::SharedClasses::wall_timer

Definition at line 50 of file cp_model_solver_helpers.h.

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

ortools/sat/cp_model_solver_helpers.h
ortools/sat/cp_model_solver_helpers.cc