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 BitSetData *	supports (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 Range *	sr
	Support iterator. More...
int	n
	The value. More...
const BitSetData *	s
	The value's support. More...

Detailed Description

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

Iterator over valid supports.

Definition at line 412 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 188 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 198 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 207 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 226 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 231 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 237 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 415 of file extensional.hh.

max

template<class View>

int Gecode::Int::Extensional::Compact< View >::ValidSupports::max

protected

Maximal value.

Definition at line 417 of file extensional.hh.

xr

template<class View>

ViewRanges<View> Gecode::Int::Extensional::Compact< View >::ValidSupports::xr

protected

Range iterator.

Definition at line 419 of file extensional.hh.

sr

template<class View>

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

protected

Support iterator.

Definition at line 421 of file extensional.hh.

n

template<class View>

int Gecode::Int::Extensional::Compact< View >::ValidSupports::n

protected

The value.

Definition at line 423 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 425 of file extensional.hh.

---

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

• gecode/int/extensional.hh
• gecode/int/extensional/compact.hpp