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

Iterator over valid supports. More...

#include <gecode/int/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 BitSetData *	support (void) const
	Return support representation.
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_value
	Maximal value.
ViewRanges< View >	view_ranges
	Range iterator.
const Range *	support_range
	Support iterator.
const Range *	last_support_range
	The last range.
int	value
	The value.
const BitSetData *	support_words
	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 520 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 469 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 485 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 438 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 501 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 531 of file compact.hpp.

support()

template<class View, bool pos>

const BitSetData * Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::support ( void ) const

inline

Return support representation.

Definition at line 536 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 542 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 523 of file extensional.hh.

max_value

template<class View, bool pos>

int Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::max_value

protected

Maximal value.

Definition at line 525 of file extensional.hh.

view_ranges

template<class View, bool pos>

ViewRanges<View> Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::view_ranges

protected

Range iterator.

Definition at line 527 of file extensional.hh.

support_range

template<class View, bool pos>

const Range* Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::support_range

protected

Support iterator.

Definition at line 529 of file extensional.hh.

last_support_range

template<class View, bool pos>

const Range* Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::last_support_range

protected

The last range.

Definition at line 531 of file extensional.hh.

value

template<class View, bool pos>

int Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::value

protected

The value.

Definition at line 533 of file extensional.hh.

support_words

template<class View, bool pos>

const BitSetData* Gecode::Int::Extensional::Compact< View, pos >::ValidSupports::support_words

protected

The value's support.

Definition at line 535 of file extensional.hh.

---

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

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