cp_model_solver.h File Reference

#include <functional>
#include <string>
#include "absl/flags/declare.h"
#include "absl/strings/string_view.h"
#include "ortools/base/base_export.h"
#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
	OR-Tools root namespace.
namespace	operations_research::sat

Functions
OR_DLL	ABSL_DECLARE_FLAG (bool, cp_model_dump_response)
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, absl::string_view 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 (absl::string_view params)
std::function< SatParameters(Model *)>	operations_research::sat::NewSatParameters (const sat::SatParameters &parameters)
void	operations_research::sat::StopSearch (Model *model)
	Stops the current search.

Function Documentation

ABSL_DECLARE_FLAG()

OR_DLL ABSL_DECLARE_FLAG	(	bool	,
		cp_model_dump_response	)