Generated on Thu Mar 22 10:39:57 2012 for Gecode by doxygen 1.6.3

Gecode::Int::NoOverlap::FixDim Class Reference

Dimension combining coordinate and integer size information. More...

#include <no-overlap.hh>

List of all members.

Public Member Functions

 FixDim (void)
 Default constructor.
 FixDim (IntView c, int s)
 Constructor.
int ssc (void) const
 Return smallest start coordinate.
int lsc (void) const
 Return largest start coordinate.
int sec (void) const
 Return smallest end coordinate.
int lec (void) const
 Return largest end coordinate.
ExecStatus nooverlap (Space &home, FixDim &d)
 Dimension must not overlap with d.
void update (Space &home, bool share, FixDim &d)
 Update dimension during cloning.
void subscribe (Space &home, Propagator &p)
 Subscribe propagator p to dimension.
void cancel (Space &home, Propagator &p)
 Cancel propagator p from dimension.

Protected Member Functions

ExecStatus ssc (Space &home, int n)
 Modify smallest start coordinate.
ExecStatus lec (Space &home, int n)
 Modify largest end coordinate.
ExecStatus nooverlap (Space &home, int n, int m)
 Dimension must not overlap with coordinates n to m.

Protected Attributes

IntView c
 Coordinate.
int s
 Size.

Detailed Description

Dimension combining coordinate and integer size information.

Definition at line 53 of file no-overlap.hh.


Constructor & Destructor Documentation

Gecode::Int::NoOverlap::FixDim::FixDim ( void   )  [inline]

Default constructor.

Definition at line 45 of file dim.hpp.

Gecode::Int::NoOverlap::FixDim::FixDim ( IntView  c,
int  s 
) [inline]

Constructor.

Definition at line 48 of file dim.hpp.


Member Function Documentation

ExecStatus Gecode::Int::NoOverlap::FixDim::ssc ( Space home,
int  n 
) [inline, protected]

Modify smallest start coordinate.

Definition at line 69 of file dim.hpp.

ExecStatus Gecode::Int::NoOverlap::FixDim::lec ( Space home,
int  n 
) [inline, protected]

Modify largest end coordinate.

Definition at line 74 of file dim.hpp.

ExecStatus Gecode::Int::NoOverlap::FixDim::nooverlap ( Space home,
int  n,
int  m 
) [inline, protected]

Dimension must not overlap with coordinates n to m.

Definition at line 79 of file dim.hpp.

int Gecode::Int::NoOverlap::FixDim::ssc ( void   )  const [inline]

Return smallest start coordinate.

Definition at line 52 of file dim.hpp.

int Gecode::Int::NoOverlap::FixDim::lsc ( void   )  const [inline]

Return largest start coordinate.

Definition at line 56 of file dim.hpp.

int Gecode::Int::NoOverlap::FixDim::sec ( void   )  const [inline]

Return smallest end coordinate.

Definition at line 60 of file dim.hpp.

int Gecode::Int::NoOverlap::FixDim::lec ( void   )  const [inline]

Return largest end coordinate.

Definition at line 64 of file dim.hpp.

ExecStatus Gecode::Int::NoOverlap::FixDim::nooverlap ( Space home,
FixDim d 
) [inline]

Dimension must not overlap with d.

Definition at line 87 of file dim.hpp.

void Gecode::Int::NoOverlap::FixDim::update ( Space home,
bool  share,
FixDim d 
) [inline]

Update dimension during cloning.

Definition at line 99 of file dim.hpp.

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

Subscribe propagator p to dimension.

Definition at line 105 of file dim.hpp.

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

Cancel propagator p from dimension.

Definition at line 109 of file dim.hpp.


Member Data Documentation

Coordinate.

Definition at line 56 of file no-overlap.hh.

Size.

Definition at line 58 of file no-overlap.hh.


The documentation for this class was generated from the following files: