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