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. | |
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 189 of file no-overlap.hh.
Member Function Documentation
template<class Dim , int n>
void Gecode::Int::NoOverlap::OptBox< Dim, n >::optional | ( | BoolView | o | ) | [inline] |
template<class Dim , int n>
bool Gecode::Int::NoOverlap::OptBox< Dim, n >::mandatory | ( | void | ) | const [inline] |
Whether box is mandatory.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
template<class Dim , int n>
bool Gecode::Int::NoOverlap::OptBox< Dim, n >::optional | ( | void | ) | const [inline] |
Whether box is optional.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
template<class Dim , int n>
bool Gecode::Int::NoOverlap::OptBox< Dim, n >::excluded | ( | void | ) | const [inline] |
Whether box is excluded.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
template<class Dim , int n>
ExecStatus Gecode::Int::NoOverlap::OptBox< Dim, n >::exclude | ( | Space & | home | ) | [inline] |
Exclude box.
Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.
template<class Dim, int n>
void Gecode::Int::NoOverlap::OptBox< Dim, n >::update | ( | Space & | home, | |
bool | share, | |||
OptBox< Dim, n > & | r | |||
) | [inline] |
template<class Dim , int n>
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 >.
template<class Dim , int 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 >.
Member Data Documentation
template<class Dim, int n>
BoolView Gecode::Int::NoOverlap::OptBox< Dim, n >::o [protected] |
Whether box is optional or not.
Definition at line 193 of file no-overlap.hh.
The documentation for this class was generated from the following files:
- gecode/int/no-overlap.hh (Revision: 12194)
- gecode/int/no-overlap/box.hpp (Revision: 12192)