Range iterator for pointwise division by a positive integer. More...

Protected Attributes
I	i
	Iterator to be scaled down.
int	a
	Divide by this factor.
Constructors and initialization
	ScaleDown (void)
	Default constructor.
	ScaleDown (I &i, int a)
	Initialize with ranges from i and scale factor a.
void	init (I &i, int a)
	Initialize with ranges from i and scale factor a.
Iteration control
void	operator++ (void)
	Move iterator to next range (if possible)

Detailed Description

Range iterator for pointwise division by a positive integer.

Definition at line 99 of file ranges-scale.hpp.

Constructor & Destructor Documentation

template<class I >

Gecode::Iter::Ranges::ScaleDown::ScaleDown ( void ) [inline]

Default constructor.

Definition at line 219 of file ranges-scale.hpp.

template<class I >

Gecode::Iter::Ranges::ScaleDown< I >::ScaleDown	(	I &	i,
		int	a
	)		`[inline]`

Initialize with ranges from i and scale factor a.

Definition at line 230 of file ranges-scale.hpp.

template<class I >

void Gecode::Iter::Ranges::ScaleDown< I >::init	(	I &	i,
		int	a
	)		`[inline]`

Initialize with ranges from i and scale factor a.

Definition at line 223 of file ranges-scale.hpp.

template<class I >

void Gecode::Iter::Ranges::ScaleDown::operator++ ( void ) [inline]

Move iterator to next range (if possible)

Definition at line 198 of file ranges-scale.hpp.

template<class I >

Iterator to be scaled down.

Definition at line 102 of file ranges-scale.hpp.

template<class I >

Divide by this factor.

Definition at line 104 of file ranges-scale.hpp.

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