C++ Reference: class SatHelper

This documentation is automatically generated.

Method
ModelStats

Return type: static std::string

Arguments: const operations_research::sat::CpModelProto& model_proto

Returns a std::string with some statistics on the given CpModelProto.

Solve

Return type: static operations_research::sat::CpSolverResponse

Arguments: const operations_research::sat::CpModelProto& model_proto

The arguments of the functions defined below must follow these rules to be wrapped by swig correctly: 1) Their types must include the full operations_research::sat:: namespace. 2) Their names must correspond to the ones declared in the .i file (see the python/ and java/ subdirectories). 3) String variations of the parameters have been added for C# as C# protobufs do not support proto2.

SolverResponseStats

Return type: static std::string

Arguments: const operations_research::sat::CpSolverResponse& response

Returns a std::string with some statistics on the solver response.

SolveWithParameters

Return type: static operations_research::sat::CpSolverResponse

Arguments: const operations_research::sat::CpModelProto& model_proto, const operations_research::sat::SatParameters& parameters

SolveWithParametersAndSolutionCallback

Arguments: const operations_research::sat::CpModelProto& model_proto, const operations_research::sat::SatParameters& parameters, const SolutionCallback& callback

SolveWithStringParameters

Return type: static operations_research::sat::CpSolverResponse

Arguments: const operations_research::sat::CpModelProto& model_proto, const std::string& parameters

SolveWithStringParametersAndSolutionCallback

Arguments: const operations_research::sat::CpModelProto& model_proto, const std::string& parameters, const SolutionCallback& callback

ValidateModel

Return type: static std::string

Arguments: const operations_research::sat::CpModelProto& model_proto

Returns a non empty std::string explaining the issue if the model is not valid.