Generated on Tue Sep 25 2012 20:53:28 for Gecode by doxygen 1.7.5
Gecode::Int::SupportValues Class Reference

Support value iterator and recorder More...

#include <support-values.hh>

List of all members.

Classes

class  RangePos
 Range and position information. More...
class  Unsupported
 Value iterator for unsupported values. More...

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

Support value iterator and recorder

Requires


Constructor & Destructor Documentation

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

Initialize for view x.

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

Gecode::Int::SupportValues::~SupportValues ( void  ) [inline]

Destructor.

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


Member Function Documentation

void Gecode::Int::SupportValues::reset ( void  ) [inline]

Reset iterator.

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

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

Test whether iterator is still at a value or done.

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

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

Move iterator to next value (if possible)

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

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

Return current value.

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

void Gecode::Int::SupportValues::support ( void  ) [inline]

Mark current (iterator) value as supported.

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

bool Gecode::Int::SupportValues::support ( int  n) [inline]

Mark n as supported if possible.

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

bool Gecode::Int::SupportValues::support ( double  n) [inline]

Mark n as supported if possible.

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

ModEvent Gecode::Int::SupportValues::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: