Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Gecode::Int::Extensional::Compact< View, pos >::ValidSupports Class Reference

Iterator over valid supports. More...

#include <extensional.hh>

Public Member Functions

 ValidSupports (const Compact< View, pos > &p, CTAdvisor &a)
 Initialize from initialized propagator.
 
 ValidSupports (const TupleSet &ts, int i, View x)
 Initialize during initialization.
 
void operator++ (void)
 Move to next supports.
 
bool operator() (void) const
 Whether there are still supports left.
 
const BitSetDatasupports (void) const
 Return supports.
 
int val (void) const
 Return supported value.
 

Protected Member Functions

void find (void)
 Find a new value (only for negative case)
 

Protected Attributes

const unsigned int n_words
 Number of words.
 
int max
 Maximal value.
 
ViewRanges< View > xr
 Range iterator.
 
const Rangesr
 Support iterator.
 
const Rangelst
 The last range.
 
int n
 The value.
 
const BitSetDatas
 The value's support.
 

Detailed Description

template<class View, bool pos>
class Gecode::Int::Extensional::Compact< View, pos >::ValidSupports

Iterator over valid supports.

Definition at line 397 of file extensional.hh.

Constructor & Destructor Documentation

◆ ValidSupports() [1/2]

template<class View , bool pos>
Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::ValidSupports ( const Compact< View, pos > & p,
CTAdvisor & a )
inline

Initialize from initialized propagator.

Definition at line 209 of file compact.hpp.

◆ ValidSupports() [2/2]

template<class View , bool pos>
Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::ValidSupports ( const TupleSet & ts,
int i,
View x )
inline

Initialize during initialization.

Definition at line 224 of file compact.hpp.

Member Function Documentation

◆ find()

template<class View , bool pos>
void Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::find ( void )
inlineprotected

Find a new value (only for negative case)

Definition at line 179 of file compact.hpp.

◆ operator++()

template<class View , bool pos>
void Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::operator++ ( void )
inline

Move to next supports.

Definition at line 239 of file compact.hpp.

◆ operator()()

template<class View , bool pos>
bool Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::operator() ( void ) const
inline

Whether there are still supports left.

Definition at line 266 of file compact.hpp.

◆ supports()

template<class View , bool pos>
const BitSetData * Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::supports ( void ) const
inline

Return supports.

Definition at line 271 of file compact.hpp.

◆ val()

template<class View , bool pos>
int Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::val ( void ) const
inline

Return supported value.

Definition at line 277 of file compact.hpp.

Member Data Documentation

◆ n_words

template<class View , bool pos>
const unsigned int Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::n_words
protected

Number of words.

Definition at line 400 of file extensional.hh.

◆ max

template<class View , bool pos>
int Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::max
protected

Maximal value.

Definition at line 402 of file extensional.hh.

◆ xr

template<class View , bool pos>
ViewRanges<View> Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::xr
protected

Range iterator.

Definition at line 404 of file extensional.hh.

◆ sr

template<class View , bool pos>
const Range* Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::sr
protected

Support iterator.

Definition at line 406 of file extensional.hh.

◆ lst

template<class View , bool pos>
const Range* Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::lst
protected

The last range.

Definition at line 408 of file extensional.hh.

◆ n

template<class View , bool pos>
int Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::n
protected

The value.

Definition at line 410 of file extensional.hh.

◆ s

template<class View , bool pos>
const BitSetData* Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::s
protected

The value's support.

Definition at line 412 of file extensional.hh.


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