Dimension combining coordinate and integer size information. More...
#include <no-overlap.hh>
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 Member Functions | |
ExecStatus | ssc (Space &home, int n) |
Modify smallest start coordinate. | |
ExecStatus | lec (Space &home, int n) |
Modify largest end coordinate. | |
ExecStatus | nooverlap (Space &home, int n, int m) |
Dimension must not overlap with coordinates n to m. | |
Protected Attributes | |
IntView | c |
Coordinate. | |
int | s |
Size. |
Dimension combining coordinate and integer size information.
Gecode::Int::NoOverlap::FixDim::FixDim | ( | void | ) | [inline] |
Gecode::Int::NoOverlap::FixDim::FixDim | ( | IntView | c, |
int | s | ||
) | [inline] |
ExecStatus Gecode::Int::NoOverlap::FixDim::ssc | ( | Space & | home, |
int | n | ||
) | [inline, protected] |
ExecStatus Gecode::Int::NoOverlap::FixDim::lec | ( | Space & | home, |
int | n | ||
) | [inline, protected] |
ExecStatus Gecode::Int::NoOverlap::FixDim::nooverlap | ( | Space & | home, |
int | n, | ||
int | m | ||
) | [inline, protected] |
int Gecode::Int::NoOverlap::FixDim::ssc | ( | void | ) | const [inline] |
int Gecode::Int::NoOverlap::FixDim::lsc | ( | void | ) | const [inline] |
int Gecode::Int::NoOverlap::FixDim::sec | ( | void | ) | const [inline] |
int Gecode::Int::NoOverlap::FixDim::lec | ( | void | ) | const [inline] |
ExecStatus Gecode::Int::NoOverlap::FixDim::nooverlap | ( | Space & | home, |
FixDim & | d | ||
) | [inline] |
void Gecode::Int::NoOverlap::FixDim::subscribe | ( | Space & | home, |
Propagator & | p | ||
) | [inline] |
void Gecode::Int::NoOverlap::FixDim::cancel | ( | Space & | home, |
Propagator & | p | ||
) | [inline] |
IntView Gecode::Int::NoOverlap::FixDim::c [protected] |
Coordinate.
Definition at line 56 of file no-overlap.hh.
int Gecode::Int::NoOverlap::FixDim::s [protected] |
Size.
Definition at line 58 of file no-overlap.hh.