|
void | optional (BoolView o) |
| Set Boolean view to o. 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...
|
|
void | update (Space &home, bool share, OptBox< 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...
|
|
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...
|
|
template<class Dim, int n>
class Gecode::Int::NoOverlap::OptBox< Dim, n >
Optional box class.
Definition at line 189 of file no-overlap.hh.