C++ Reference: cp_model_solver
Note: This documentation is automatically generated.
Function |
Type |
Arguments |
Comments |
CpModelStats | Return type: std::string Arguments: const CpModelProto& model |
CpSolverResponseStats | Return type: std::string Arguments: const CpSolverResponse& response, bool has_objective = true |
NewFeasibleSolutionObserver | Return type: std::function<void(Model*)> Arguments: const std::function<void(const CpSolverResponse& response)>& observer |
NewSatParameters | Return type: std::function<SatParameters(Model*)> Arguments: const std::string& params |
NewSatParameters | Return type: std::function<SatParameters(Model*)> Arguments: const SatParameters& parameters |
Solve | Return type: CpSolverResponse Arguments: const CpModelProto& model_proto |
SolveCpModel | Return type: CpSolverResponse Arguments: const CpModelProto& model_proto, Model* model |
SolveWithParameters | Return type: CpSolverResponse Arguments: const CpModelProto& model_proto, const SatParameters& params |
SolveWithParameters | Return type: CpSolverResponse Arguments: const CpModelProto& model_proto, const std::string& params |