operations_research::sat::SubsetsDetector< Storage > Class Template Reference

Detailed Description

template<class Storage>
class operations_research::sat::SubsetsDetector< Storage >

Definition at line 171 of file inclusion.h.

#include <inclusion.h>

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

Constructor & Destructor Documentation

SubsetsDetector()

template<class Storage>

operations_research::sat::SubsetsDetector< Storage >::SubsetsDetector ( const Storage & storage, TimeLimit * time_limit )

inline

Definition at line 173 of file inclusion.h.

Member Function Documentation

FindSubsets()

template<typename Storage>

void operations_research::sat::SubsetsDetector< Storage >::FindSubsets ( absl::Span< const int > superset, int * next_index_to_try, const std::function< void(int subset)> & process )

inline

Definition at line 481 of file inclusion.h.

process()

template<class Storage>

operations_research::sat::SubsetsDetector< Storage >::process

(

)

SetWorkLimit()

template<class Storage>

void operations_research::sat::SubsetsDetector< Storage >::SetWorkLimit ( uint64_t work_limit )

inline

Definition at line 176 of file inclusion.h.

Stop()

template<class Storage>

void operations_research::sat::SubsetsDetector< Storage >::Stop ( )

inline

Definition at line 179 of file inclusion.h.

Stopped()

template<class Storage>

bool operations_research::sat::SubsetsDetector< Storage >::Stopped ( ) const

inline

Definition at line 186 of file inclusion.h.

StopProcessingCurrentSubset()

template<class Storage>

void operations_research::sat::SubsetsDetector< Storage >::StopProcessingCurrentSubset ( )

inline

Definition at line 177 of file inclusion.h.

StopProcessingCurrentSuperset()

template<class Storage>

void operations_research::sat::SubsetsDetector< Storage >::StopProcessingCurrentSuperset ( )

inline

Definition at line 178 of file inclusion.h.

work_done()

template<class Storage>

uint64_t operations_research::sat::SubsetsDetector< Storage >::work_done ( ) const

inline

Definition at line 185 of file inclusion.h.

---

The documentation for this class was generated from the following file:

• ortools/sat/inclusion.h