cp_model_solver.h File Reference

#include <functional>
#include <string>
#include "ortools/sat/cp_model.pb.h"
#include "ortools/sat/model.h"
#include "ortools/sat/sat_parameters.pb.h"

Go to the source code of this file.

Namespaces
namespace	operations_research
	In SWIG mode, we don't want anything besides these top-level includes.
namespace	operations_research::sat

Functions
std::string	operations_research::sat::CpSatSolverVersion ()
	Returns a string that describes the version of the solver.
CpSolverResponse	operations_research::sat::Solve (const CpModelProto &model_proto)
	Solves the given CpModelProto and returns an instance of CpSolverResponse.
CpSolverResponse	operations_research::sat::SolveWithParameters (const CpModelProto &model_proto, const SatParameters &params)
	Solves the given CpModelProto with the given parameters.
std::string	operations_research::sat::CpModelStats (const CpModelProto &model)
	Returns a string with some statistics on the given CpModelProto.
std::string	operations_research::sat::CpSolverResponseStats (const CpSolverResponse &response, bool has_objective)
CpSolverResponse	operations_research::sat::SolveCpModel (const CpModelProto &model_proto, Model *model)
CpSolverResponse	operations_research::sat::SolveWithParameters (const CpModelProto &model_proto, const std::string &params)
std::function< void(Model *)>	operations_research::sat::NewFeasibleSolutionObserver (const std::function< void(const CpSolverResponse &response)> &callback)
std::function< void(Model *)>	operations_research::sat::NewFeasibleSolutionLogCallback (const std::function< std::string(const CpSolverResponse &response)> &callback)
std::function< void(Model *)>	operations_research::sat::NewBestBoundCallback (const std::function< void(double)> &callback)
std::function< SatParameters(Model *)>	operations_research::sat::NewSatParameters (const std::string &params)
std::function< SatParameters(Model *)>	operations_research::sat::NewSatParameters (const SatParameters &parameters)
void	operations_research::sat::LoadAndSolveCpModelForTest (const CpModelProto &model_proto, Model *model)