operations_research::sat::SubsetsDetector< Storage > Member List

This is the complete list of members for operations_research::sat::SubsetsDetector< Storage >, including all inherited members.

FindSubsets(absl::Span< const int > superset, int *next_index_to_try, const std::function< void(int subset)> &process)	operations_research::sat::SubsetsDetector< Storage >	inline
process() can call StopProcessingCurrentSuperset() to abort early - process() can call StopProcessingCurrentSubset() to never consider void IndexAllStorageAsSubsets()	operations_research::sat::SubsetsDetector< Storage >
SetWorkLimit(uint64_t work_limit)	operations_research::sat::SubsetsDetector< Storage >	inline
Stop()	operations_research::sat::SubsetsDetector< Storage >	inline
Stopped() const	operations_research::sat::SubsetsDetector< Storage >	inline
StopProcessingCurrentSubset()	operations_research::sat::SubsetsDetector< Storage >	inline
StopProcessingCurrentSuperset()	operations_research::sat::SubsetsDetector< Storage >	inline
SubsetsDetector(const Storage &storage, TimeLimit *time_limit)	operations_research::sat::SubsetsDetector< Storage >	inline
work_done() const	operations_research::sat::SubsetsDetector< Storage >	inline