Dimension combining coordinate and integer view size information.
More...
#include <no-overlap.hh>
List of all members.
Detailed Description
Dimension combining coordinate and integer view size information.
Definition at line 95 of file no-overlap.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
Modify smallest start coordinate.
Definition at line 142 of file dim.hpp.
Modify largest end coordinate.
Definition at line 147 of file dim.hpp.
ExecStatus Gecode::Int::NoOverlap::FlexDim::nooverlap |
( |
Space & |
home, |
|
|
int |
n, |
|
|
int |
m |
|
) |
| |
|
inlineprotected |
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
IntView Gecode::Int::NoOverlap::FlexDim::c0 |
|
protected |
IntView Gecode::Int::NoOverlap::FlexDim::s |
|
protected |
IntView Gecode::Int::NoOverlap::FlexDim::c1 |
|
protected |
The documentation for this class was generated from the following files: