Dimension combining coordinate and integer view size information.
More...
#include <no-overlap.hh>
Dimension combining coordinate and integer view size information.
Definition at line 93 of file no-overlap.hh.
◆ FlexDim() [1/2]
Gecode::Int::NoOverlap::FlexDim::FlexDim |
( |
void | | ) |
|
|
inline |
Default constructor.
Definition at line 119 of file dim.hpp.
◆ FlexDim() [2/2]
Constructor.
Definition at line 121 of file dim.hpp.
◆ ssc() [1/2]
Modify smallest start coordinate.
Definition at line 142 of file dim.hpp.
◆ lec() [1/2]
Modify largest end coordinate.
Definition at line 147 of file dim.hpp.
◆ nooverlap() [1/2]
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.
◆ ssc() [2/2]
int Gecode::Int::NoOverlap::FlexDim::ssc |
( |
void | | ) |
const |
|
inline |
Return smallest start coordinate.
Definition at line 125 of file dim.hpp.
◆ lsc()
int Gecode::Int::NoOverlap::FlexDim::lsc |
( |
void | | ) |
const |
|
inline |
Return largest start coordinate.
Definition at line 129 of file dim.hpp.
◆ sec()
int Gecode::Int::NoOverlap::FlexDim::sec |
( |
void | | ) |
const |
|
inline |
Return smallest end coordinate.
Definition at line 133 of file dim.hpp.
◆ lec() [2/2]
int Gecode::Int::NoOverlap::FlexDim::lec |
( |
void | | ) |
const |
|
inline |
Return largest end coordinate.
Definition at line 137 of file dim.hpp.
◆ nooverlap() [2/2]
Dimension must not overlap with d.
Definition at line 162 of file dim.hpp.
◆ update()
void Gecode::Int::NoOverlap::FlexDim::update |
( |
Space & | home, |
|
|
FlexDim & | d ) |
|
inline |
Update dimension during cloning.
Definition at line 175 of file dim.hpp.
◆ subscribe()
void Gecode::Int::NoOverlap::FlexDim::subscribe |
( |
Space & | home, |
|
|
Propagator & | p ) |
|
inline |
Subscribe propagator p to dimension.
Definition at line 182 of file dim.hpp.
◆ cancel()
void Gecode::Int::NoOverlap::FlexDim::cancel |
( |
Space & | home, |
|
|
Propagator & | p ) |
|
inline |
Cancel propagator p from dimension.
Definition at line 188 of file dim.hpp.
◆ reschedule()
void Gecode::Int::NoOverlap::FlexDim::reschedule |
( |
Space & | home, |
|
|
Propagator & | p ) |
|
inline |
Schedule propagator p.
Definition at line 194 of file dim.hpp.
◆ c0
IntView Gecode::Int::NoOverlap::FlexDim::c0 |
|
protected |
IntView Gecode::Int::NoOverlap::FlexDim::s |
|
protected |
◆ c1
IntView Gecode::Int::NoOverlap::FlexDim::c1 |
|
protected |
The documentation for this class was generated from the following files: