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