Dimension combining coordinate and integer view size information. More...
#include <no-overlap.hh>
Public Member Functions | |
FlexDim (void) | |
Default constructor. | |
FlexDim (IntView c0, IntView s, IntView c1) | |
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, FlexDim &d) |
Dimension must not overlap with d. | |
void | update (Space &home, bool share, FlexDim &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 | c0 |
Start coordinate. | |
IntView | s |
Size. | |
IntView | c1 |
End coordinate. |
Dimension combining coordinate and integer view size information.
Gecode::Int::NoOverlap::FlexDim::FlexDim | ( | void | ) | [inline] |
ExecStatus Gecode::Int::NoOverlap::FlexDim::ssc | ( | Space & | home, |
int | n | ||
) | [inline, protected] |
ExecStatus Gecode::Int::NoOverlap::FlexDim::lec | ( | Space & | home, |
int | n | ||
) | [inline, protected] |
ExecStatus Gecode::Int::NoOverlap::FlexDim::nooverlap | ( | Space & | home, |
int | n, | ||
int | m | ||
) | [inline, protected] |
int Gecode::Int::NoOverlap::FlexDim::ssc | ( | void | ) | const [inline] |
int Gecode::Int::NoOverlap::FlexDim::lsc | ( | void | ) | const [inline] |
int Gecode::Int::NoOverlap::FlexDim::sec | ( | void | ) | const [inline] |
int Gecode::Int::NoOverlap::FlexDim::lec | ( | void | ) | const [inline] |
ExecStatus Gecode::Int::NoOverlap::FlexDim::nooverlap | ( | Space & | home, |
FlexDim & | d | ||
) | [inline] |
void Gecode::Int::NoOverlap::FlexDim::subscribe | ( | Space & | home, |
Propagator & | p | ||
) | [inline] |
void Gecode::Int::NoOverlap::FlexDim::cancel | ( | Space & | home, |
Propagator & | p | ||
) | [inline] |
IntView Gecode::Int::NoOverlap::FlexDim::c0 [protected] |
Start coordinate.
Definition at line 98 of file no-overlap.hh.
IntView Gecode::Int::NoOverlap::FlexDim::s [protected] |
Size.
Definition at line 100 of file no-overlap.hh.
IntView Gecode::Int::NoOverlap::FlexDim::c1 [protected] |
End coordinate.
Definition at line 102 of file no-overlap.hh.