operations_research::sat::SharedBoundsManager Member List

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

FixVariablesFromPartialSolution(const std::vector< int64_t > &solution, const std::vector< int > &variables_to_fix)	operations_research::sat::SharedBoundsManager
GetChangedBounds(int id, std::vector< int > *variables, std::vector< int64_t > *new_lower_bounds, std::vector< int64_t > *new_upper_bounds)	operations_research::sat::SharedBoundsManager
LoadDebugSolution(absl::Span< const int64_t > solution)	operations_research::sat::SharedBoundsManager	inline
LogStatistics(SolverLogger *logger)	operations_research::sat::SharedBoundsManager
NumBoundsExported(const std::string &worker_name)	operations_research::sat::SharedBoundsManager
RegisterNewId()	operations_research::sat::SharedBoundsManager
ReportPotentialNewBounds(const std::string &worker_name, const std::vector< int > &variables, const std::vector< int64_t > &new_lower_bounds, const std::vector< int64_t > &new_upper_bounds)	operations_research::sat::SharedBoundsManager
set_dump_prefix(absl::string_view dump_prefix)	operations_research::sat::SharedBoundsManager	inline
SharedBoundsManager(const CpModelProto &model_proto)	operations_research::sat::SharedBoundsManager	explicit
Synchronize()	operations_research::sat::SharedBoundsManager
UpdateDomains(std::vector< Domain > *domains)	operations_research::sat::SharedBoundsManager