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