Home Installation Guides Reference Examples Support

C++ Reference: cp_model_search

This documentation is automatically generated.

Function Type Arguments Comments

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`

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

Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.