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.