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

#include <gecode/int/extensional/compact.hpp>

Public Member Functions

 LostSupports (const CompactCompressed< View, pos > &p0, CTAdvisor &a0, int first_value, int last_value0)
void operator++ (void)
bool operator() (void) const
CompressedSupport support (void) const

Protected Member Functions

void find (void)

Protected Attributes

const CompactCompressed< View, pos > & propagator
CTAdvisor & advisor
const Range * support_range
const Range * last_support_range
int value
int last_value
const CSupportWord * support_begin
const CSupportWord * support_end
bool valid

Detailed Description

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

Definition at line 1426 of file compact.hpp.

Constructor & Destructor Documentation

◆ LostSupports()

template<class View, bool pos>
Gecode::Int::Extensional::CompactCompressed< View, pos >::LostSupports::LostSupports ( const CompactCompressed< View, pos > & p0,
CTAdvisor & a0,
int first_value,
int last_value0 )
inline

Definition at line 1463 of file compact.hpp.

Member Function Documentation

◆ find()

template<class View, bool pos>
void Gecode::Int::Extensional::CompactCompressed< View, pos >::LostSupports::find ( void )
inlineprotected

Definition at line 1437 of file compact.hpp.

◆ operator++()

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

Definition at line 1472 of file compact.hpp.

◆ operator()()

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

Definition at line 1476 of file compact.hpp.

◆ support()

template<class View, bool pos>
CompressedSupport Gecode::Int::Extensional::CompactCompressed< View, pos >::LostSupports::support ( void ) const
inline

Definition at line 1479 of file compact.hpp.

Member Data Documentation

◆ propagator

template<class View, bool pos>
const CompactCompressed<View,pos>& Gecode::Int::Extensional::CompactCompressed< View, pos >::LostSupports::propagator
protected

Definition at line 1428 of file compact.hpp.

◆ advisor

template<class View, bool pos>
CTAdvisor& Gecode::Int::Extensional::CompactCompressed< View, pos >::LostSupports::advisor
protected

Definition at line 1429 of file compact.hpp.

◆ support_range

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

Definition at line 1430 of file compact.hpp.

◆ last_support_range

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

Definition at line 1431 of file compact.hpp.

◆ value

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

Definition at line 1432 of file compact.hpp.

◆ last_value

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

Definition at line 1433 of file compact.hpp.

◆ support_begin

template<class View, bool pos>
const CSupportWord* Gecode::Int::Extensional::CompactCompressed< View, pos >::LostSupports::support_begin
protected

Definition at line 1434 of file compact.hpp.

◆ support_end

template<class View, bool pos>
const CSupportWord* Gecode::Int::Extensional::CompactCompressed< View, pos >::LostSupports::support_end
protected

Definition at line 1435 of file compact.hpp.

◆ valid

template<class View, bool pos>
bool Gecode::Int::Extensional::CompactCompressed< View, pos >::LostSupports::valid
protected

Definition at line 1436 of file compact.hpp.

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