cp_model_solver_helpers.h File Reference

#include <cstdint>
#include <memory>
#include <utility>
#include <vector>
#include "absl/types/span.h"
#include "ortools/base/timer.h"
#include "ortools/sat/cp_model.pb.h"
#include "ortools/sat/integer_base.h"
#include "ortools/sat/model.h"
#include "ortools/sat/sat_parameters.pb.h"
#include "ortools/sat/stat_tables.h"
#include "ortools/sat/synchronization.h"
#include "ortools/sat/util.h"
#include "ortools/sat/work_assignment.h"
#include "ortools/util/logging.h"

Go to the source code of this file.

Classes
struct	operations_research::sat::SharedClasses

Namespaces
namespace	operations_research
	In SWIG mode, we don't want anything besides these top-level includes.
namespace	operations_research::sat

Functions
void	operations_research::sat::LoadCpModel (const CpModelProto &model_proto, Model *model)
void	operations_research::sat::SolveLoadedCpModel (const CpModelProto &model_proto, Model *model)
void	operations_research::sat::RegisterVariableBoundsLevelZeroExport (const CpModelProto &, SharedBoundsManager *shared_bounds_manager, Model *model)
void	operations_research::sat::RegisterVariableBoundsLevelZeroImport (const CpModelProto &model_proto, SharedBoundsManager *shared_bounds_manager, Model *model)
void	operations_research::sat::RegisterObjectiveBestBoundExport (IntegerVariable objective_var, SharedResponseManager *shared_response_manager, Model *model)
void	operations_research::sat::RegisterObjectiveBoundsImport (SharedResponseManager *shared_response_manager, Model *model)
void	operations_research::sat::RegisterClausesExport (int id, SharedClausesManager *shared_clauses_manager, Model *model)
	Registers a callback that will export good clauses discovered during search.
int	operations_research::sat::RegisterClausesLevelZeroImport (int id, SharedClausesManager *shared_clauses_manager, Model *model)
void	operations_research::sat::PostsolveResponseWrapper (const SatParameters &params, int num_variable_in_original_model, const CpModelProto &mapping_proto, absl::Span< const int > postsolve_mapping, std::vector< int64_t > *solution)
void	operations_research::sat::QuickSolveWithHint (const CpModelProto &model_proto, Model *model)
void	operations_research::sat::MinimizeL1DistanceWithHint (const CpModelProto &model_proto, Model *model)
void	operations_research::sat::LoadFeasibilityPump (const CpModelProto &model_proto, Model *model)
void	operations_research::sat::AdaptGlobalParameters (const CpModelProto &model_proto, Model *model)
void	operations_research::sat::LoadDebugSolution (const CpModelProto &model_proto, Model *model)