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

Iterator over lost supports. More...

#include <extensional.hh>

List of all members.

Public Member Functions
	LostSupports (const Compact< View > &p, CTAdvisor &a, int l, int h)
	Initialize iterator for values between l and h.
void	operator++ (void)
	Move iterator to next value.
bool	operator() (void) const
	Whether iterator is done.
const BitSetData *	supports (void) const
	Provide access to corresponding supports.
Protected Attributes
const unsigned int	n_words
	Number of words.
const Range *	r
	Range information.
int	l
	Low value.
int	h
	High value.
const BitSetData *	s
	The lost value's support.

---

Detailed Description

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

Iterator over lost supports.

Definition at line 441 of file extensional.hh.

---

Constructor & Destructor Documentation

template<class View >

Gecode::Int::Extensional::Compact< View >::LostSupports::LostSupports	(	const Compact< View > &	p,
		CTAdvisor &	a,
		int	l,
		int	h
	)			[inline]

Initialize iterator for values between l and h.

Definition at line 248 of file compact.hpp.

---

Member Function Documentation

template<class View >

void Gecode::Int::Extensional::Compact< View >::LostSupports::operator++

(

void

)

[inline]

Move iterator to next value.

Definition at line 258 of file compact.hpp.

template<class View >

bool Gecode::Int::Extensional::Compact< View >::LostSupports::operator()

(

void

)

const [inline]

Whether iterator is done.

Definition at line 266 of file compact.hpp.

template<class View >

const TupleSet::BitSetData * Gecode::Int::Extensional::Compact< View >::LostSupports::supports

(

void

)

const [inline]

Provide access to corresponding supports.

Definition at line 271 of file compact.hpp.

---

Member Data Documentation

template<class View>

const unsigned int Gecode::Int::Extensional::Compact< View >::LostSupports::n_words [protected]

Number of words.

Definition at line 444 of file extensional.hh.

template<class View>

const Range* Gecode::Int::Extensional::Compact< View >::LostSupports::r [protected]

Range information.

Definition at line 446 of file extensional.hh.

template<class View>

int Gecode::Int::Extensional::Compact< View >::LostSupports::l [protected]

Low value.

Definition at line 448 of file extensional.hh.

template<class View>

int Gecode::Int::Extensional::Compact< View >::LostSupports::h [protected]

High value.

Definition at line 450 of file extensional.hh.

template<class View>

const BitSetData* Gecode::Int::Extensional::Compact< View >::LostSupports::s [protected]

The lost value's support.

Definition at line 452 of file extensional.hh.

---

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

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