Generated on for Gecode by doxygen 1.17.0
Public Member Functions | Protected Attributes | List of all members
Gecode::Int::Extensional::Compact< View, pos >::LostSupports Class Reference

Iterator over lost supports. More...

#include <gecode/int/extensional.hh>

Public Member Functions

 LostSupports (const Compact< View, pos > &p, CTAdvisor &a, int first_value, int last_value)
 Initialize iterator for values between first_value and last_value.
void operator++ (void)
 Move iterator to next value.
bool operator() (void) const
 Whether iterator is done.
const BitSetData * support (void) const
 Return support representation.

Protected Attributes

const unsigned int n_words
 Number of words.
const Range * support_range
 Range information.
const Range * last_support_range
 Last range.
int value
 Low value.
int last_value
 High value.
const BitSetData * support_words
 The lost value's support.

Detailed Description

template<class View, bool pos>
class Gecode::Int::Extensional::Compact< View, pos >::LostSupports

Iterator over lost supports.

Definition at line 553 of file extensional.hh.

Constructor & Destructor Documentation

◆ LostSupports()

template<class View, bool pos>
Gecode::Int::Extensional::Compact< View, pos >::LostSupports::LostSupports ( const Compact< View, pos > & p,
CTAdvisor & a,
int first_value,
int last_value )
inline

Initialize iterator for values between first_value and last_value.

Definition at line 552 of file compact.hpp.

Member Function Documentation

◆ operator++()

template<class View, bool pos>
void Gecode::Int::Extensional::Compact< View, pos >::LostSupports::operator++ ( void )
inline

Move iterator to next value.

Definition at line 567 of file compact.hpp.

◆ operator()()

template<class View, bool pos>
bool Gecode::Int::Extensional::Compact< View, pos >::LostSupports::operator() ( void ) const
inline

Whether iterator is done.

Definition at line 578 of file compact.hpp.

◆ support()

template<class View, bool pos>
const TupleSet::BitSetData * Gecode::Int::Extensional::Compact< View, pos >::LostSupports::support ( void ) const
inline

Return support representation.

Definition at line 583 of file compact.hpp.

Member Data Documentation

◆ n_words

template<class View, bool pos>
const unsigned int Gecode::Int::Extensional::Compact< View, pos >::LostSupports::n_words
protected

Number of words.

Definition at line 556 of file extensional.hh.

◆ support_range

template<class View, bool pos>
const Range* Gecode::Int::Extensional::Compact< View, pos >::LostSupports::support_range
protected

Range information.

Definition at line 558 of file extensional.hh.

◆ last_support_range

template<class View, bool pos>
const Range* Gecode::Int::Extensional::Compact< View, pos >::LostSupports::last_support_range
protected

Last range.

Definition at line 560 of file extensional.hh.

◆ value

template<class View, bool pos>
int Gecode::Int::Extensional::Compact< View, pos >::LostSupports::value
protected

Low value.

Definition at line 562 of file extensional.hh.

◆ last_value

template<class View, bool pos>
int Gecode::Int::Extensional::Compact< View, pos >::LostSupports::last_value
protected

High value.

Definition at line 564 of file extensional.hh.

◆ support_words

template<class View, bool pos>
const BitSetData* Gecode::Int::Extensional::Compact< View, pos >::LostSupports::support_words
protected

The lost value's support.

Definition at line 566 of file extensional.hh.

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