Gecode::Int::NoOverlap::OptBox< Dim, n > Class Template Reference
Optional box class. More...
#include <no-overlap.hh>
Public Member Functions | |
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, bool share, 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. | |
Protected Attributes | |
BoolView | o |
Whether box is optional or not. |
Detailed Description
template<class Dim, int n>
class Gecode::Int::NoOverlap::OptBox< Dim, n >
Optional box class.
Definition at line 195 of file no-overlap.hh.
Member Function Documentation
void Gecode::Int::NoOverlap::OptBox< Dim, n >::optional | ( | BoolView | o | ) | [inline] |
bool Gecode::Int::NoOverlap::OptBox< Dim, n >::mandatory | ( | void | ) | const [inline] |
Whether box is mandatory.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
bool Gecode::Int::NoOverlap::OptBox< Dim, n >::optional | ( | void | ) | const [inline] |
Whether box is optional.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
bool Gecode::Int::NoOverlap::OptBox< Dim, n >::excluded | ( | void | ) | const [inline] |
Whether box is excluded.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
ExecStatus Gecode::Int::NoOverlap::OptBox< Dim, n >::exclude | ( | Space & | home | ) | [inline] |
Exclude box.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
void Gecode::Int::NoOverlap::OptBox< Dim, n >::update | ( | Space & | home, | |
bool | share, | |||
OptBox< Dim, n > & | r | |||
) | [inline] |
void Gecode::Int::NoOverlap::OptBox< Dim, n >::subscribe | ( | Space & | home, | |
Propagator & | p | |||
) | [inline] |
Subscribe propagator p to box.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
void Gecode::Int::NoOverlap::OptBox< Dim, n >::cancel | ( | Space & | home, | |
Propagator & | p | |||
) | [inline] |
Cancel propagator p from box.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
void Gecode::Int::NoOverlap::OptBox< Dim, n >::reschedule | ( | Space & | home, | |
Propagator & | p | |||
) | [inline] |
Schedule propagator p.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
Member Data Documentation
BoolView Gecode::Int::NoOverlap::OptBox< Dim, n >::o [protected] |
Whether box is optional or not.
Definition at line 199 of file no-overlap.hh.
The documentation for this class was generated from the following files:
- gecode/int/no-overlap.hh (Revision: 15137)
- gecode/int/no-overlap/box.hpp (Revision: 15137)