Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal Class Reference

Value iterator for values in index-value map. More...

#include <element.hh>

Public Member Functions

 IterVal (IdxVal *iv)
 Initialize with start. More...
 
bool operator() (void) const
 Test whether more pairs to be iterated. More...
 
void operator++ (void)
 Move to next index value pair (next value) More...
 
Val val (void) const
 Return value of current index value pair. More...
 

Detailed Description

template<class V0, class V1, class Idx, class Val>
class Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal

Value iterator for values in index-value map.

Note that the iterated value sequence is not strictly increasing (might contain duplicates).

Definition at line 108 of file element.hh.

Constructor & Destructor Documentation

template<class V0 , class V1 , class Idx , class Val >
Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal::IterVal ( IdxVal iv)
inline

Initialize with start.

Definition at line 90 of file int.hpp.

Member Function Documentation

template<class V0 , class V1 , class Idx , class Val >
bool Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal::operator() ( void  ) const
inline

Test whether more pairs to be iterated.

Definition at line 94 of file int.hpp.

template<class V0 , class V1 , class Idx , class Val >
void Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal::operator++ ( void  )
inline

Move to next index value pair (next value)

Definition at line 99 of file int.hpp.

template<class V0 , class V1 , class Idx , class Val >
Val Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal::val ( void  ) const
inline

Return value of current index value pair.

Definition at line 104 of file int.hpp.


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