C++ Reference: cp_model_solver

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

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

SetSynchronizationFunction

Return type: void

Arguments: std::function<CpSolverResponse(

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