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