Integer views
Functionality by programming task » Programming actors » Programming integer actors

## 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.