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

Detailed Description

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

Definition at line 58 of file inclusion.h.

#include <inclusion.h>

Public Member Functions
	InclusionDetector (const Storage &storage, TimeLimit *time_limit)
void	Reset ()
void	AddPotentialSubset (int index)
void	AddPotentialSuperset (int index)
void	AddPotentialSet (int index)
void	SetWorkLimit (uint64_t work_limit)
void	DetectInclusions (const std::function< void(int subset, int superset)> &process)
void	StopProcessingCurrentSubset ()
void	StopProcessingCurrentSuperset ()
void	Stop ()
void	IncreaseWorkDone (uint64_t increase)
int	num_potential_subsets () const
int	num_potential_supersets () const
uint64_t	work_done () const
bool	Stopped () const

Constructor & Destructor Documentation

InclusionDetector()

template<class Storage>

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

inline

Definition at line 60 of file inclusion.h.

Member Function Documentation

AddPotentialSet()

template<typename Storage>

void operations_research::sat::InclusionDetector< Storage >::AddPotentialSet ( int index )

inline

Definition at line 232 of file inclusion.h.

AddPotentialSubset()

template<typename Storage>

void operations_research::sat::InclusionDetector< Storage >::AddPotentialSubset ( int index )

inline

Definition at line 244 of file inclusion.h.

AddPotentialSuperset()

template<typename Storage>

void operations_research::sat::InclusionDetector< Storage >::AddPotentialSuperset ( int index )

inline

Definition at line 255 of file inclusion.h.

DetectInclusions()

template<typename Storage>

void operations_research::sat::InclusionDetector< Storage >::DetectInclusions ( const std::function< void(int subset, int superset)> & process )

inline

Definition at line 282 of file inclusion.h.

IncreaseWorkDone()

template<class Storage>

void operations_research::sat::InclusionDetector< Storage >::IncreaseWorkDone ( uint64_t increase )

inline

Definition at line 120 of file inclusion.h.

num_potential_subsets()

template<class Storage>

int operations_research::sat::InclusionDetector< Storage >::num_potential_subsets ( ) const

inline

Definition at line 123 of file inclusion.h.

num_potential_supersets()

template<class Storage>

int operations_research::sat::InclusionDetector< Storage >::num_potential_supersets ( ) const

inline

Definition at line 124 of file inclusion.h.

Reset()

template<class Storage>

void operations_research::sat::InclusionDetector< Storage >::Reset ( )

inline

Definition at line 64 of file inclusion.h.

SetWorkLimit()

template<class Storage>

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

inline

Definition at line 86 of file inclusion.h.

Stop()

template<class Storage>

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

inline

Definition at line 109 of file inclusion.h.

Stopped()

template<class Storage>

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

inline

Definition at line 126 of file inclusion.h.

StopProcessingCurrentSubset()

template<class Storage>

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

inline

Definition at line 107 of file inclusion.h.

StopProcessingCurrentSuperset()

template<class Storage>

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

inline

Definition at line 108 of file inclusion.h.

work_done()

template<class Storage>

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

inline

Definition at line 125 of file inclusion.h.

---

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

• ortools/sat/inclusion.h