Gecode::Int::NoOverlap::FlexDim Class Reference
Dimension combining coordinate and integer view size information.
More...
#include <nooverlap.hh>
List of all members.
Public Member Functions 
 FlexDim (void) 
 Default constructor.

 FlexDim (IntView c0, IntView s, IntView c1) 
 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, FlexDim &d) 
 Dimension must not overlap with d.

void  update (Space &home, bool share, FlexDim &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  c0 
 Start coordinate.

IntView  s 
 Size.

IntView  c1 
 End coordinate.

Detailed Description
Dimension combining coordinate and integer view size information.
Definition at line 95 of file nooverlap.hh.
Constructor & Destructor Documentation
Gecode::Int::NoOverlap::FlexDim::FlexDim 
( 
void 

) 
[inline] 
Default constructor.
Definition at line 119 of file dim.hpp.
Constructor.
Definition at line 121 of file dim.hpp.
Member Function Documentation
ExecStatus Gecode::Int::NoOverlap::FlexDim::ssc 
( 
Space & 
home, 


int 
n  

) 
  [inline, protected] 
Modify smallest start coordinate.
Definition at line 142 of file dim.hpp.
ExecStatus Gecode::Int::NoOverlap::FlexDim::lec 
( 
Space & 
home, 


int 
n  

) 
  [inline, protected] 
Modify largest end coordinate.
Definition at line 147 of file dim.hpp.
ExecStatus Gecode::Int::NoOverlap::FlexDim::nooverlap 
( 
Space & 
home, 


int 
n, 


int 
m  

) 
  [inline, protected] 
Dimension must not overlap with coordinates n to m.
Definition at line 152 of file dim.hpp.
int Gecode::Int::NoOverlap::FlexDim::ssc 
( 
void 

) 
const [inline] 
Return smallest start coordinate.
Definition at line 125 of file dim.hpp.
int Gecode::Int::NoOverlap::FlexDim::lsc 
( 
void 

) 
const [inline] 
Return largest start coordinate.
Definition at line 129 of file dim.hpp.
int Gecode::Int::NoOverlap::FlexDim::sec 
( 
void 

) 
const [inline] 
Return smallest end coordinate.
Definition at line 133 of file dim.hpp.
int Gecode::Int::NoOverlap::FlexDim::lec 
( 
void 

) 
const [inline] 
Return largest end coordinate.
Definition at line 137 of file dim.hpp.
Dimension must not overlap with d.
Definition at line 162 of file dim.hpp.
void Gecode::Int::NoOverlap::FlexDim::update 
( 
Space & 
home, 


bool 
share, 


FlexDim & 
d  

) 
  [inline] 
Update dimension during cloning.
Definition at line 175 of file dim.hpp.
void Gecode::Int::NoOverlap::FlexDim::subscribe 
( 
Space & 
home, 


Propagator & 
p  

) 
  [inline] 
Subscribe propagator p to dimension.
Definition at line 182 of file dim.hpp.
void Gecode::Int::NoOverlap::FlexDim::cancel 
( 
Space & 
home, 


Propagator & 
p  

) 
  [inline] 
Cancel propagator p from dimension.
Definition at line 188 of file dim.hpp.
Member Data Documentation
The documentation for this class was generated from the following files: