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.

void  reschedule (Space &home, Propagator &p) 
 Schedule propagator p.

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 97 of file nooverlap.hh.
Constructor & Destructor Documentation
Gecode::Int::NoOverlap::FlexDim::FlexDim 
( 
void 

) 
[inline] 
Default constructor.
Definition at line 123 of file dim.hpp.
Constructor.
Definition at line 125 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 146 of file dim.hpp.
ExecStatus Gecode::Int::NoOverlap::FlexDim::lec 
( 
Space & 
home, 


int 
n  

) 
  [inline, protected] 
Modify largest end coordinate.
Definition at line 151 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 156 of file dim.hpp.
int Gecode::Int::NoOverlap::FlexDim::ssc 
( 
void 

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

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

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

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


bool 
share, 


FlexDim & 
d  

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


Propagator & 
p  

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


Propagator & 
p  

) 
  [inline] 
Cancel propagator p from dimension.
Definition at line 192 of file dim.hpp.
void Gecode::Int::NoOverlap::FlexDim::reschedule 
( 
Space & 
home, 


Propagator & 
p  

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