|
| ABSL_DECLARE_FLAG (bool, cp_model_dump_models) |
|
| ABSL_DECLARE_FLAG (std::string, cp_model_dump_prefix) |
|
| ABSL_DECLARE_FLAG (bool, cp_model_dump_problematic_lns) |
|
| ABSL_DECLARE_FLAG (bool, cp_model_dump_submodels) |
|
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 ¶ms, 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) |
|