Value iterator for unsupported values. More...

Constructors and initialization
	Unsupported (SupportValues &sv0)
	Initialize with values from sv.
Iteration control
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.

Detailed Description

Value iterator for unsupported values.

Constructor & Destructor Documentation

Gecode::Int::SupportValues::Unsupported::Unsupported ( SupportValues & sv0 ) [inline]

Initialize with values from sv.

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

bool Gecode::Int::SupportValues::Unsupported::operator() ( void ) const [inline]

Test whether iterator is still at a value or done.

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

void Gecode::Int::SupportValues::Unsupported::operator++ ( void ) [inline]

Move iterator to next value (if possible)

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

int Gecode::Int::SupportValues::Unsupported::val ( void ) const [inline]

Return current value.

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

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