Dimension combining coordinate and integer size information.
More...
#include <no-overlap.hh>
List of all members.
Public Member Functions |
| FixDim (void) |
| Default constructor.
|
| FixDim (IntView c, int s) |
| Constructor.
|
int | ssc (void) const |
| Return smallest start coordinate.
|
int | lsc (void) const |
| Return largest start coordinate.
|
int | sec (void) const |
| Return smallest end coordinate.
|
int | lec (void) const |
| Return largest end coordinate.
|
ExecStatus | nooverlap (Space &home, FixDim &d) |
| Dimension must not overlap with d.
|
void | update (Space &home, bool share, FixDim &d) |
| Update dimension during cloning.
|
void | subscribe (Space &home, Propagator &p) |
| Subscribe propagator p to dimension.
|
void | cancel (Space &home, Propagator &p) |
| Cancel propagator p from dimension.
|
Protected Attributes |
IntView | c |
| Coordinate.
|
int | s |
| Size.
|
Detailed Description
Dimension combining coordinate and integer size information.
Definition at line 53 of file no-overlap.hh.
Constructor & Destructor Documentation
Gecode::Int::NoOverlap::FixDim::FixDim |
( |
void |
| ) |
|
|
inline |
Default constructor.
Definition at line 45 of file dim.hpp.
Gecode::Int::NoOverlap::FixDim::FixDim |
( |
IntView |
c, |
|
|
int |
s |
|
) |
| |
|
inline |
Constructor.
Definition at line 48 of file dim.hpp.
Member Function Documentation
Modify smallest start coordinate.
Definition at line 69 of file dim.hpp.
Modify largest end coordinate.
Definition at line 74 of file dim.hpp.
ExecStatus Gecode::Int::NoOverlap::FixDim::nooverlap |
( |
Space & |
home, |
|
|
int |
n, |
|
|
int |
m |
|
) |
| |
|
inlineprotected |
Dimension must not overlap with coordinates n to m.
Definition at line 79 of file dim.hpp.
int Gecode::Int::NoOverlap::FixDim::ssc |
( |
void |
| ) |
const |
|
inline |
Return smallest start coordinate.
Definition at line 52 of file dim.hpp.
int Gecode::Int::NoOverlap::FixDim::lsc |
( |
void |
| ) |
const |
|
inline |
Return largest start coordinate.
Definition at line 56 of file dim.hpp.
int Gecode::Int::NoOverlap::FixDim::sec |
( |
void |
| ) |
const |
|
inline |
Return smallest end coordinate.
Definition at line 60 of file dim.hpp.
int Gecode::Int::NoOverlap::FixDim::lec |
( |
void |
| ) |
const |
|
inline |
Return largest end coordinate.
Definition at line 64 of file dim.hpp.
Dimension must not overlap with d.
Definition at line 87 of file dim.hpp.
void Gecode::Int::NoOverlap::FixDim::update |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
FixDim & |
d |
|
) |
| |
|
inline |
Update dimension during cloning.
Definition at line 99 of file dim.hpp.
void Gecode::Int::NoOverlap::FixDim::subscribe |
( |
Space & |
home, |
|
|
Propagator & |
p |
|
) |
| |
|
inline |
Subscribe propagator p to dimension.
Definition at line 105 of file dim.hpp.
void Gecode::Int::NoOverlap::FixDim::cancel |
( |
Space & |
home, |
|
|
Propagator & |
p |
|
) |
| |
|
inline |
Cancel propagator p from dimension.
Definition at line 109 of file dim.hpp.
Member Data Documentation
IntView Gecode::Int::NoOverlap::FixDim::c |
|
protected |
int Gecode::Int::NoOverlap::FixDim::s |
|
protected |
The documentation for this class was generated from the following files: