Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterValUnmark Class Reference

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

#include <element.hh>

Public Member Functions

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

Detailed Description

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

Value iterator for values in index-value map.

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

The iterator also removes marked index-value pairs.

Definition at line 126 of file element.hh.

Constructor & Destructor Documentation

◆ IterValUnmark()

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

Initialize with start.

Definition at line 109 of file int.hpp.

Member Function Documentation

◆ operator()()

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

Test whether more pairs to be iterated.

Definition at line 119 of file int.hpp.

◆ operator++()

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

Move to next index value pair (next value)

Definition at line 124 of file int.hpp.

◆ val()

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

Return value of current index value pair.

Definition at line 133 of file int.hpp.


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