Generated on Sat Jul 29 2017 12:41:24 for Gecode by doxygen 1.8.13
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...
 
void reschedule (Space &home, Propagator &p)
 Schedule propagator p. 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...
 
void reschedule (Space &home, Propagator &p)
 Schedule propagator p. 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 195 of file no-overlap.hh.

Member Function Documentation

◆ optional() [1/2]

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

Set Boolean view to o.

Definition at line 155 of file box.hpp.

◆ mandatory()

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

Whether box is mandatory.

Definition at line 160 of file box.hpp.

◆ optional() [2/2]

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

Whether box is optional.

Definition at line 170 of file box.hpp.

◆ excluded()

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

Whether box is excluded.

Definition at line 165 of file box.hpp.

◆ exclude()

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

Exclude box.

Definition at line 176 of file box.hpp.

◆ update()

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 183 of file box.hpp.

◆ subscribe()

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 190 of file box.hpp.

◆ cancel()

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 196 of file box.hpp.

◆ reschedule()

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

Schedule propagator p.

Definition at line 202 of file box.hpp.

Member Data Documentation

◆ o

template<class Dim, int n>
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: