Generated on Sat Feb 7 2015 02:01:49 for Gecode by doxygen 1.8.9.1
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. 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...
 
- Public Member Functions inherited from Gecode::Int::NoOverlap::ManBox< Dim, n >
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...
 

Protected Attributes

BoolView o
 Whether box is optional or not. More...
 
- Protected Attributes inherited from Gecode::Int::NoOverlap::ManBox< Dim, n >
Dim d [n]
 Dimensions. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::Int::NoOverlap::ManBox< Dim, n >
static int dim (void)
 Return number of dimensions. More...
 

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

Set Boolean view to o.

Definition at line 149 of file box.hpp.

template<class Dim , int n>
bool Gecode::Int::NoOverlap::OptBox< Dim, n >::mandatory ( void  ) const
inline

Whether box is mandatory.

Definition at line 154 of file box.hpp.

template<class Dim , int n>
bool Gecode::Int::NoOverlap::OptBox< Dim, n >::optional ( void  ) const
inline

Whether box is optional.

Definition at line 164 of file box.hpp.

template<class Dim , int n>
bool Gecode::Int::NoOverlap::OptBox< Dim, n >::excluded ( void  ) const
inline

Whether box is excluded.

Definition at line 159 of file box.hpp.

template<class Dim , int n>
ExecStatus Gecode::Int::NoOverlap::OptBox< Dim, n >::exclude ( Space home)
inline

Exclude box.

Definition at line 170 of file box.hpp.

template<class Dim , int n>
void Gecode::Int::NoOverlap::OptBox< Dim, n >::update ( Space home,
bool  share,
OptBox< Dim, n > &  r 
)
inline

Update box during cloning.

Definition at line 177 of file box.hpp.

template<class Dim , int n>
void Gecode::Int::NoOverlap::OptBox< Dim, n >::subscribe ( Space home,
Propagator p 
)
inline

Subscribe propagator p to box.

Definition at line 184 of file box.hpp.

template<class Dim , int n>
void Gecode::Int::NoOverlap::OptBox< Dim, n >::cancel ( Space home,
Propagator p 
)
inline

Cancel propagator p from box.

Definition at line 190 of file box.hpp.

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: