Gecode::Int::SupportValues< View, A > Class Template Reference
[Integer propagators]

Support value iterator and recorder More...

#include <support-values.hh>

List of all members.

Public Member Functions
	SupportValues (A &a, View x)
	Initialize for view x.
	~SupportValues (void)
	Destructor.
Iteration control
void	reset (void)
	Reset iterator.
bool	operator() (void) const
	Test whether iterator is still at a value or done.
void	operator++ (void)
	Move iterator to next value (if possible).
Value access
int	val (void) const
	Return current value.
Support control
void	support (void)
	Mark current (iterator) value as supported.
bool	support (int n)
	Mark n as supported if possible.
bool	support (double n)
	Mark n as supported if possible.
ModEvent	tell (Space &home)
	Remove all unsupported values.

---

Detailed Description

template<class View, class A>
class Gecode::Int::SupportValues< View, A >

Support value iterator and recorder

Requires

 #include <gecode/int/support-values.hh> 

Definition at line 52 of file support-values.hh.

---

Constructor & Destructor Documentation

template<class View , class A >

Gecode::Int::SupportValues< View, A >::SupportValues	(	A &	a,
		View	x
	)			[inline]

Initialize for view x.

Definition at line 49 of file support-values.hpp.

template<class View , class A >

Gecode::Int::SupportValues< View, A >::~SupportValues

(

void

)

[inline]

Destructor.

Definition at line 69 of file support-values.hpp.

---

Member Function Documentation

template<class View , class A >

void Gecode::Int::SupportValues< View, A >::reset

(

void

)

[inline]

Reset iterator.

Definition at line 42 of file support-values.hpp.

template<class View , class A >

bool Gecode::Int::SupportValues< View, A >::operator()

(

void

)

const [inline]

Test whether iterator is still at a value or done.

Definition at line 86 of file support-values.hpp.

template<class View , class A >

void Gecode::Int::SupportValues< View, A >::operator++

(

void

)

[inline]

Move iterator to next value (if possible).

Definition at line 76 of file support-values.hpp.

template<class View , class A >

int Gecode::Int::SupportValues< View, A >::val

(

void

)

const [inline]

Return current value.

Definition at line 92 of file support-values.hpp.

template<class View , class A >

void Gecode::Int::SupportValues< View, A >::support

(

void

)

[inline]

Mark current (iterator) value as supported.

Definition at line 98 of file support-values.hpp.

template<class View , class A >

bool Gecode::Int::SupportValues< View, A >::support

(

int

n

)

[inline]

Mark n as supported if possible.

Definition at line 127 of file support-values.hpp.

template<class View , class A >

bool Gecode::Int::SupportValues< View, A >::support

(

double

n

)

[inline]

Mark n as supported if possible.

Definition at line 135 of file support-values.hpp.

template<class View , class A >

ModEvent Gecode::Int::SupportValues< View, A >::tell

(

Space &

home

)

[inline]

Remove all unsupported values.

Definition at line 179 of file support-values.hpp.

---

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

• gecode/int/support-values.hh (Revision: 10684)
• gecode/int/support-values.hpp (Revision: 10244)