Generated on Tue Sep 25 2012 20:53:31 for Gecode by doxygen 1.7.5
Gecode::Int::NoOverlap::OptBox Class Reference

Optional box class. More...

#include <no-overlap.hh>

List of all members.

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

Optional box class.


Member Function Documentation

void Gecode::Int::NoOverlap::OptBox::optional ( BoolView  o) [inline]

Set Boolean view to o.

Definition at line 149 of file box.hpp.

bool Gecode::Int::NoOverlap::OptBox::mandatory ( void  ) const [inline]

Whether box is mandatory.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 154 of file box.hpp.

bool Gecode::Int::NoOverlap::OptBox::optional ( void  ) const [inline]

Whether box is optional.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 164 of file box.hpp.

bool Gecode::Int::NoOverlap::OptBox::excluded ( void  ) const [inline]

Whether box is excluded.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 159 of file box.hpp.

ExecStatus Gecode::Int::NoOverlap::OptBox::exclude ( Space home) [inline]

Exclude box.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 170 of file box.hpp.

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

Update box during cloning.

Definition at line 177 of file box.hpp.

void Gecode::Int::NoOverlap::OptBox::subscribe ( Space home,
Propagator p 
) [inline]

Subscribe propagator p to box.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 184 of file box.hpp.

void Gecode::Int::NoOverlap::OptBox::cancel ( Space home,
Propagator p 
) [inline]

Cancel propagator p from box.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 190 of file box.hpp.


Member Data Documentation

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: