Generated on Mon Nov 30 23:53:48 2009 for Gecode by doxygen 1.6.1

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

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 63 of file support-values.hpp.

template<class View , class A >
Gecode::Int::SupportValues< View, A >::~SupportValues ( void   )  [inline]

Destructor.

Definition at line 86 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 56 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 103 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 93 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 109 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 115 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 144 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 152 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 196 of file support-values.hpp.


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