Dimension combining coordinate and integer view size information. More...
#include <no-overlap.hh>
Public Member Functions | |
FlexDim (void) | |
Default constructor. More... | |
FlexDim (IntView c0, IntView s, IntView c1) | |
Constructor. More... | |
int | ssc (void) const |
Return smallest start coordinate. More... | |
int | lsc (void) const |
Return largest start coordinate. More... | |
int | sec (void) const |
Return smallest end coordinate. More... | |
int | lec (void) const |
Return largest end coordinate. More... | |
ExecStatus | nooverlap (Space &home, FlexDim &d) |
Dimension must not overlap with d. More... | |
void | update (Space &home, bool share, FlexDim &d) |
Update dimension during cloning. More... | |
void | subscribe (Space &home, Propagator &p) |
Subscribe propagator p to dimension. More... | |
void | cancel (Space &home, Propagator &p) |
Cancel propagator p from dimension. More... | |
Protected Member Functions | |
ExecStatus | ssc (Space &home, int n) |
Modify smallest start coordinate. More... | |
ExecStatus | lec (Space &home, int n) |
Modify largest end coordinate. More... | |
ExecStatus | nooverlap (Space &home, int n, int m) |
Dimension must not overlap with coordinates n to m. More... | |
Protected Attributes | |
IntView | c0 |
Start coordinate. More... | |
IntView | s |
Size. More... | |
IntView | c1 |
End coordinate. More... | |
Dimension combining coordinate and integer view size information.
Definition at line 95 of file no-overlap.hh.
|
inline |
|
inlineprotected |
|
inlineprotected |
|
inlineprotected |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
Start coordinate.
Definition at line 98 of file no-overlap.hh.
|
protected |
Size.
Definition at line 100 of file no-overlap.hh.
|
protected |
End coordinate.
Definition at line 102 of file no-overlap.hh.