C++ Reference: cp_model_search

This documentation is automatically generated.

Function Type Arguments Comments
ConstructSearchStrategy

Return type: std::function<LiteralIndex()>

Arguments: const CpModelProto& cp_model_proto, const std::vector<IntegerVariable>& variable_mapping, IntegerVariable objective_var, Model* model

DiversifySearchParameters

Return type: SatParameters

Arguments: const SatParameters& params, const CpModelProto& cp_model, const int worker_id, std::string* name

InstrumentSearchStrategy

Return type: std::function<LiteralIndex()>

Arguments: const CpModelProto& cp_model_proto, const std::vector<IntegerVariable>& variable_mapping, const std::function<LiteralIndex()>& instrumented_strategy, Model* model

MergeOptimizationSolution

Return type: bool

Arguments: const CpSolverResponse& response, bool maximize, CpSolverResponse* best

Send feedback about...