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 >::ValidSupports Class Reference

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

Public Member Functions

 ValidSupports (const CompactCompressed< View, pos > &p, CTAdvisor &a)
 ValidSupports (const TupleSet &ts0, int i0, View x)
void operator++ (void)
bool operator() (void) const
int val (void) const
CompressedSupport support (void) const

Protected Member Functions

void find (void)

Protected Attributes

const TupleSet & tuple_set
ViewRanges< View > view_ranges
int variable
const Range * support_range
const Range * last_support_range
int 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 >::ValidSupports

Definition at line 1345 of file compact.hpp.

Constructor & Destructor Documentation

◆ ValidSupports() [1/2]

template<class View, bool pos>
Gecode::Int::Extensional::CompactCompressed< View, pos >::ValidSupports::ValidSupports ( const CompactCompressed< View, pos > & p,
CTAdvisor & a )
inline

Definition at line 1392 of file compact.hpp.

◆ ValidSupports() [2/2]

template<class View, bool pos>
Gecode::Int::Extensional::CompactCompressed< View, pos >::ValidSupports::ValidSupports ( const TupleSet & ts0,
int i0,
View x )
inline

Definition at line 1401 of file compact.hpp.

Member Function Documentation

◆ find()

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

Definition at line 1356 of file compact.hpp.

◆ operator++()

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

Definition at line 1411 of file compact.hpp.

◆ operator()()

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

Definition at line 1415 of file compact.hpp.

◆ val()

template<class View, bool pos>
int Gecode::Int::Extensional::CompactCompressed< View, pos >::ValidSupports::val ( void ) const
inline

Definition at line 1418 of file compact.hpp.

◆ support()

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

Definition at line 1421 of file compact.hpp.

Member Data Documentation

◆ tuple_set

template<class View, bool pos>
const TupleSet& Gecode::Int::Extensional::CompactCompressed< View, pos >::ValidSupports::tuple_set
protected

Definition at line 1347 of file compact.hpp.

◆ view_ranges

template<class View, bool pos>
ViewRanges<View> Gecode::Int::Extensional::CompactCompressed< View, pos >::ValidSupports::view_ranges
protected

Definition at line 1348 of file compact.hpp.

◆ variable

template<class View, bool pos>
int Gecode::Int::Extensional::CompactCompressed< View, pos >::ValidSupports::variable
protected

Definition at line 1349 of file compact.hpp.

◆ support_range

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

Definition at line 1350 of file compact.hpp.

◆ last_support_range

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

Definition at line 1351 of file compact.hpp.

◆ value

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

Definition at line 1352 of file compact.hpp.

◆ support_begin

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

Definition at line 1353 of file compact.hpp.

◆ support_end

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

Definition at line 1354 of file compact.hpp.

◆ valid

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

Definition at line 1355 of file compact.hpp.

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