
Mandatory box class. More...
#include <no-overlap.hh>
Public Member Functions | |
| const Dim & | operator[] (int i) const |
| Access to dimension i. More... | |
| Dim & | operator[] (int i) |
| Access to dimension i. More... | |
| bool | mandatory (void) const |
| Whether box is mandatory. More... | |
| bool | optional (void) const |
| Whether box is optional. More... | |
| bool | excluded (void) const |
| Whether box is excluded. More... | |
| ExecStatus | exclude (Space &home) |
| Exclude box. More... | |
| bool | nooverlap (const ManBox< Dim, n > &b) const |
| Check whether this box does not any longer overlap with b. More... | |
| bool | overlap (const ManBox< Dim, n > &b) const |
| Check whether this box overlaps with b. More... | |
| ExecStatus | nooverlap (Space &home, ManBox< Dim, n > &b) |
| Propagate that this box does not overlap with b. More... | |
| void | update (Space &home, bool share, ManBox< Dim, n > &r) |
| Update box during cloning. More... | |
| void | subscribe (Space &home, Propagator &p) |
| Subscribe propagator p to box. More... | |
| void | cancel (Space &home, Propagator &p) |
| Cancel propagator p from box. More... | |
Static Public Member Functions | |
| static int | dim (void) |
| Return number of dimensions. More... | |
Protected Attributes | |
| Dim | d [n] |
| Dimensions. More... | |
Mandatory box class.
Definition at line 146 of file no-overlap.hh.
|
inline |
|
inline |
|
inlinestatic |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
Dimensions.
Definition at line 149 of file no-overlap.hh.