operations_research::sat::SharedResponseManager Member List

This is the complete list of members for operations_research::sat::SharedResponseManager, including all inherited members.

AddBestBoundCallback(std::function< void(double)> callback)	operations_research::sat::SharedResponseManager
AddFinalResponsePostprocessor(std::function< void(CpSolverResponse *)> postprocessor)	operations_research::sat::SharedResponseManager
AddLogCallback(std::function< std::string(const CpSolverResponse &)> callback)	operations_research::sat::SharedResponseManager
AddResponsePostprocessor(std::function< void(CpSolverResponse *)> postprocessor)	operations_research::sat::SharedResponseManager
AddSolutionCallback(std::function< void(const CpSolverResponse &)> callback)	operations_research::sat::SharedResponseManager
AddSolutionPostprocessor(std::function< void(std::vector< int64_t > *)> postprocessor)	operations_research::sat::SharedResponseManager
AddUnsatCore(const std::vector< int > &core)	operations_research::sat::SharedResponseManager
AppendResponseToBeMerged(const CpSolverResponse &response)	operations_research::sat::SharedResponseManager
BestSolutionInnerObjectiveValue()	operations_research::sat::SharedResponseManager
DebugSolution() const	operations_research::sat::SharedResponseManager	inline
DisplayImprovementStatistics()	operations_research::sat::SharedResponseManager
first_solution_solvers_should_stop()	operations_research::sat::SharedResponseManager	inline
GapIntegral() const	operations_research::sat::SharedResponseManager
GetInnerObjectiveLowerBound()	operations_research::sat::SharedResponseManager
GetInnerObjectiveUpperBound()	operations_research::sat::SharedResponseManager
GetResponse()	operations_research::sat::SharedResponseManager
InitializeObjective(const CpModelProto &cp_model)	operations_research::sat::SharedResponseManager
LoadDebugSolution(absl::Span< const int64_t > solution)	operations_research::sat::SharedResponseManager	inline
LoggingIsEnabled() const	operations_research::sat::SharedResponseManager
LogMessage(absl::string_view prefix, absl::string_view message)	operations_research::sat::SharedResponseManager
LogMessageWithThrottling(const std::string &prefix, const std::string &message)	operations_research::sat::SharedResponseManager
MutableSolutionsRepository()	operations_research::sat::SharedResponseManager	inline
NewSolution(absl::Span< const int64_t > solution_values, const std::string &solution_info, Model *model=nullptr)	operations_research::sat::SharedResponseManager
NotifyThatImprovingProblemIsInfeasible(const std::string &worker_info)	operations_research::sat::SharedResponseManager
ProblemIsSolved() const	operations_research::sat::SharedResponseManager
set_dump_prefix(absl::string_view dump_prefix)	operations_research::sat::SharedResponseManager	inline
SetGapLimitsFromParameters(const SatParameters &parameters)	operations_research::sat::SharedResponseManager
SetSynchronizationMode(bool always_synchronize)	operations_research::sat::SharedResponseManager
SetUpdateGapIntegralOnEachChange(bool set)	operations_research::sat::SharedResponseManager
SharedResponseManager(Model *model)	operations_research::sat::SharedResponseManager	explicit
SolutionsRepository() const	operations_research::sat::SharedResponseManager	inline
Synchronize()	operations_research::sat::SharedResponseManager
UnregisterBestBoundCallback(int callback_id)	operations_research::sat::SharedResponseManager
UnregisterCallback(int callback_id)	operations_research::sat::SharedResponseManager
UnregisterLogCallback(int callback_id)	operations_research::sat::SharedResponseManager
UpdateGapIntegral()	operations_research::sat::SharedResponseManager
UpdateInnerObjectiveBounds(const std::string &update_info, IntegerValue lb, IntegerValue ub)	operations_research::sat::SharedResponseManager