C++ Reference: cp_model_search

This documentation is automatically generated.

Function Type Arguments Comments
ConstructSearchStrategy

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

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

GetDiverseSetOfParameters

Return type: std::vector<SatParameters>

Arguments: const SatParameters& base_params, const CpModelProto& cp_model, const int num_workers

InstrumentSearchStrategy

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

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