|
| 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.