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