Gecode::Int::Extensional::Compact< View >::ValidSupports Class Reference

Iterator over valid supports. More...

#include <extensional.hh>

List of all members.

Public Member Functions
	ValidSupports (const Compact< View > &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 BitSetData *	supports (void) const
	Return supports.
int	val (void) const
	Return supported value.
Protected Attributes
const unsigned int	n_words
	Number of words.
int	max
	Maximal value.
ViewRanges< View >	xr
	Range iterator.
const Range *	sr
	Support iterator.
int	n
	The value.
const BitSetData *	s
	The value's support.

---

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

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.

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

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.

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.

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.

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

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.

template<class View>

int Gecode::Int::Extensional::Compact< View >::ValidSupports::max [protected]

Maximal value.

Definition at line 417 of file extensional.hh.

template<class View>

ViewRanges<View> Gecode::Int::Extensional::Compact< View >::ValidSupports::xr [protected]

Range iterator.

Definition at line 419 of file extensional.hh.

template<class View>

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

Support iterator.

Definition at line 421 of file extensional.hh.

template<class View>

int Gecode::Int::Extensional::Compact< View >::ValidSupports::n [protected]

The value.

Definition at line 423 of file extensional.hh.

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