
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.