Generated on Thu Apr 5 2018 19:44:19 for Gecode by doxygen 1.8.13
Gecode::Int::Extensional::Compact< View >::ValidSupports Class Reference

Iterator over valid supports. More...

#include <extensional.hh>

Public Member Functions

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

Protected Attributes

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

Detailed Description

template<class View>
class Gecode::Int::Extensional::Compact< View >::ValidSupports

Iterator over valid supports.

Definition at line 416 of file extensional.hh.

Constructor & Destructor Documentation

◆ ValidSupports() [1/2]

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

Initialize from initialized propagator.

Definition at line 192 of file compact.hpp.

◆ ValidSupports() [2/2]

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

Initialize during initialization.

Definition at line 202 of file compact.hpp.

Member Function Documentation

◆ operator++()

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

Move to next supports.

Definition at line 211 of file compact.hpp.

◆ operator()()

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

Whether there are still supports left.

Definition at line 230 of file compact.hpp.

◆ supports()

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

Return supports.

Definition at line 235 of file compact.hpp.

◆ val()

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

Return supported value.

Definition at line 241 of file compact.hpp.

Member Data Documentation

◆ n_words

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

Number of words.

Definition at line 419 of file extensional.hh.

◆ max

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

Maximal value.

Definition at line 421 of file extensional.hh.

◆ xr

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

Range iterator.

Definition at line 423 of file extensional.hh.

◆ sr

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

Support iterator.

Definition at line 425 of file extensional.hh.

◆ n

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

The value.

Definition at line 427 of file extensional.hh.

◆ s

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

The value's support.

Definition at line 429 of file extensional.hh.


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