OR-Tools  9.6
Classes | Public Member Functions | List of all members
InclusionDetector< Storage >

Detailed Description

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

Definition at line 106 of file inclusion.h.

Public Member Functions

 InclusionDetector (const Storage &storage)
 
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)
 
const std::vector< bool > IsInSuperset () const
 
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
 

Constructor & Destructor Documentation

◆ InclusionDetector()

InclusionDetector ( const Storage &  storage)
inlineexplicit

Definition at line 108 of file inclusion.h.

Member Function Documentation

◆ AddPotentialSet()

void AddPotentialSet ( int  index)
inline

Definition at line 221 of file inclusion.h.

◆ AddPotentialSubset()

void AddPotentialSubset ( int  index)
inline

Definition at line 233 of file inclusion.h.

◆ AddPotentialSuperset()

void AddPotentialSuperset ( int  index)
inline

Definition at line 244 of file inclusion.h.

◆ DetectInclusions()

void DetectInclusions ( const std::function< void(int subset, int superset)> &  process)
inline

Definition at line 257 of file inclusion.h.

◆ IncreaseWorkDone()

void IncreaseWorkDone ( uint64_t  increase)
inline

Definition at line 172 of file inclusion.h.

◆ IsInSuperset()

const std::vector<bool> IsInSuperset ( ) const
inline

Definition at line 154 of file inclusion.h.

◆ num_potential_subsets()

int num_potential_subsets ( ) const
inline

Definition at line 175 of file inclusion.h.

◆ num_potential_supersets()

int num_potential_supersets ( ) const
inline

Definition at line 176 of file inclusion.h.

◆ Reset()

void Reset ( )
inline

Definition at line 111 of file inclusion.h.

◆ SetWorkLimit()

void SetWorkLimit ( uint64_t  work_limit)
inline

Definition at line 133 of file inclusion.h.

◆ Stop()

void Stop ( )
inline

Definition at line 161 of file inclusion.h.

◆ StopProcessingCurrentSubset()

void StopProcessingCurrentSubset ( )
inline

Definition at line 159 of file inclusion.h.

◆ StopProcessingCurrentSuperset()

void StopProcessingCurrentSuperset ( )
inline

Definition at line 160 of file inclusion.h.

◆ work_done()

uint64_t work_done ( ) const
inline

Definition at line 177 of file inclusion.h.

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