Converter with fixed offset. More...
#include <view.hpp>
Public Types | |
typedef OffsetView | ViewType |
The view type. More... | |
Public Member Functions | |
Offset (int off=0) | |
Constructor with offset off. More... | |
OffsetView | operator() (IntView &x) |
Return OffsetRefView for x. More... | |
void | update (const Offset &o) |
Update during cloning. More... | |
int | offset (void) const |
Access offset. More... | |
Public Attributes | |
int | c |
The offset. More... | |
Gecode::Int::Offset::Offset | ( | int | off = 0 | ) |
Constructor with offset off.
OffsetView Gecode::Int::Offset::operator() | ( | IntView & | x | ) |
Return OffsetRefView for x.
void Gecode::Int::Offset::update | ( | const Offset & | o | ) |
Update during cloning.
int Gecode::Int::Offset::offset | ( | void | ) | const |
Access offset.