Range iterator for cached integer views More...

#include <view.hpp>

Protected Attributes
Iter::Ranges::RangeList	cr
	Cached domain iterator.
ViewRanges< View >	dr
	Current domain iterator.
Constructors and initialization
	ViewDiffRanges (void)
	Default constructor.
	ViewDiffRanges (const CachedView< View > &x)
	Initialize with ranges for view x.
void	init (const CachedView< View > &x)
	Initialize with ranges for view x.

Detailed Description

Range iterator for cached integer views

This iterator iterates the difference between the cached domain and the current domain of an integer view.

Definition at line 1288 of file view.hpp.

Constructor & Destructor Documentation

template<class View >

Gecode::Int::ViewDiffRanges< View >::ViewDiffRanges ( void ) [inline]

Default constructor.

Definition at line 366 of file cached.hpp.

template<class View >

Gecode::Int::ViewDiffRanges< View >::ViewDiffRanges ( const CachedView< View > & x ) [inline]

Initialize with ranges for view x.

Definition at line 370 of file cached.hpp.

template<class View >

void Gecode::Int::ViewDiffRanges< View >::init ( const CachedView< View > & x ) [inline]

Initialize with ranges for view x.

Definition at line 377 of file cached.hpp.

template<class View>

Cached domain iterator.

Definition at line 1294 of file view.hpp.

template<class View>

Current domain iterator.

Definition at line 1296 of file view.hpp.

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