Generated on Sat Feb 7 2015 02:01:44 for Gecode by doxygen 1.8.9.1
Gecode::Int::SupportValues< View, A > Class Template Reference

Support value iterator and recorder More...

#include <support-values.hh>

Public Member Functions

 SupportValues (A &a, View x)
 Initialize for view x. More...
 
 ~SupportValues (void)
 Destructor. More...
 

Iteration control

void reset (void)
 Reset iterator. More...
 
bool operator() (void) const
 Test whether iterator is still at a value or done. More...
 
void operator++ (void)
 Move iterator to next value (if possible) More...
 

Value access

int val (void) const
 Return current value. More...
 

Support control

void support (void)
 Mark current (iterator) value as supported. More...
 
bool support (int n)
 Mark n as supported if possible. More...
 
bool support (long long int n)
 Mark n as supported if possible. More...
 
ModEvent tell (Space &home)
 Remove all unsupported values. More...
 

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

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

Destructor.

Definition at line 69 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 42 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 86 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 76 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 92 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 98 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 127 of file support-values.hpp.

template<class View , class A >
bool Gecode::Int::SupportValues< View, A >::support ( long long int  n)
inline

Mark n as supported if possible.

Definition at line 135 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 179 of file support-values.hpp.


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