Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0

Classes

class  Gecode::Int::IntView
 Integer view for integer variables. More...
 
class  Gecode::Int::MinusView
 Minus integer view. More...
 
class  Gecode::Int::OffsetView
 Offset integer view. More...
 
class  Gecode::Int::ScaleView< Val, UnsVal >
 Scale integer view (template) More...
 
class  Gecode::Int::ConstIntView
 Constant integer view. More...
 
class  Gecode::Int::ZeroIntView
 Zero integer view. More...
 
class  Gecode::Int::CachedView< View >
 Cached integer view. More...
 
class  Gecode::Int::BoolView
 Boolean view for Boolean variables. More...
 
class  Gecode::Int::NegBoolView
 Negated Boolean view. More...
 
class  Gecode::Int::ViewRanges< BoolView >
 Range iterator for Boolean variable views More...
 
class  Gecode::Int::ViewRanges< CachedView< View > >
 Range iterator for offset integer views More...
 
class  Gecode::Int::ViewRanges< ConstIntView >
 Range iterator for constant integer views More...
 
class  Gecode::Int::ViewRanges< IntView >
 Range iterator for integer variable views More...
 
class  Gecode::Int::ViewRanges< MinusView >
 Range iterator for minus integer views More...
 
class  Gecode::Int::ViewRanges< NegBoolView >
 Range iterator for negated Boolean variable views More...
 
class  Gecode::Int::ViewRanges< OffsetView >
 Range iterator for offset integer views More...
 
class  Gecode::Int::ViewRanges< IntScaleView >
 Range iterator for integer-precision scale integer views More...
 
class  Gecode::Int::ViewRanges< LLongScaleView >
 Range iterator for long long int-precision scale integer views More...
 
class  Gecode::Int::ViewRanges< ZeroIntView >
 Range iterator for constant integer views More...
 

View comparison

typedef ScaleView< int, unsigned int > IntScaleView
 Integer-precision integer scale view.
 
typedef ScaleView< long long int, unsigned long long int > LLongScaleView
 Long long-precision integer scale view.
 
template<class Char , class Traits >
std::basic_ostream< Char, Traits > & operator<< (std::basic_ostream< Char, Traits > &os, const OffsetView &x)
 Print integer offset view.
 
bool operator== (const OffsetView &x, const OffsetView &y)
 Test whether views x and y are the same.
 
bool operator!= (const OffsetView &x, const OffsetView &y)
 Test whether views x and y are not the same.
 
template<class View >
View & operator() (View &x)
 Integer-precision integer scale view.
 
template<class View >
void update (const NoOffset &)
 Integer-precision integer scale view.
 
template<class View >
int offset (void) const
 Integer-precision integer scale view.
 
 Offset (int off)
 Integer-precision integer scale view.
 
void update (const Offset &o)
 Integer-precision integer scale view.
 
int offset (void) const
 Integer-precision integer scale view.
 
OffsetView operator() (IntView &x)
 Integer-precision integer scale view.
 

Detailed Description

Integer propagators and branchers compute with integer views. Integer views provide views on integer variable implementations, integer constants, and also allow to scale, translate, and negate variables. Additionally, a special Boolean view is provided that offers convenient and efficient operations for Boolean (0/1) views.

Typedef Documentation

◆ IntScaleView

typedef ScaleView<int,unsigned int> IntScaleView
related

Integer-precision integer scale view.

Definition at line 804 of file view.hpp.

◆ LLongScaleView

typedef ScaleView<long long int,unsigned long long int> LLongScaleView
related

Long long-precision integer scale view.

Definition at line 810 of file view.hpp.

Function Documentation

◆ operator<<()

template<class Char , class Traits >
std::basic_ostream< Char, Traits > & operator<< ( std::basic_ostream< Char, Traits > & os,
const OffsetView & x )
related

Print integer offset view.

Definition at line 67 of file print.hpp.

◆ operator==()

bool operator== ( const OffsetView & x,
const OffsetView & y )
related

Test whether views x and y are the same.

Definition at line 318 of file offset.hpp.

◆ operator!=()

bool operator!= ( const OffsetView & x,
const OffsetView & y )
related

Test whether views x and y are not the same.

Definition at line 322 of file offset.hpp.

◆ operator()() [1/2]

template<class View >
View & operator() ( View & x)
related

Integer-precision integer scale view.

Definition at line 632 of file view.hpp.

◆ update() [1/2]

template<class View >
void update ( const NoOffset & )
related

Integer-precision integer scale view.

Definition at line 638 of file view.hpp.

◆ offset() [1/2]

template<class View >
int offset ( void ) const
related

Integer-precision integer scale view.

Definition at line 642 of file view.hpp.

◆ Offset()

Offset ( int off)
related

Integer-precision integer scale view.

Definition at line 667 of file view.hpp.

◆ update() [2/2]

void update ( const Offset & o)
related

Integer-precision integer scale view.

Definition at line 670 of file view.hpp.

◆ offset() [2/2]

int offset ( void ) const
related

Integer-precision integer scale view.

Definition at line 673 of file view.hpp.

◆ operator()() [2/2]

OffsetView operator() ( IntView & x)
related

Integer-precision integer scale view.

Definition at line 676 of file view.hpp.