
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] |