Dimension combining coordinate and integer size information.
More...
#include <no-overlap.hh>
Dimension combining coordinate and integer size information.
Definition at line 49 of file no-overlap.hh.
◆ FixDim() [1/2]
Gecode::Int::NoOverlap::FixDim::FixDim |
( |
void | | ) |
|
|
inline |
Default constructor.
Definition at line 41 of file dim.hpp.
◆ FixDim() [2/2]
Gecode::Int::NoOverlap::FixDim::FixDim |
( |
IntView | c, |
|
|
int | s ) |
|
inline |
Constructor.
Definition at line 44 of file dim.hpp.
◆ ssc() [1/2]
Modify smallest start coordinate.
Definition at line 65 of file dim.hpp.
◆ lec() [1/2]
Modify largest end coordinate.
Definition at line 70 of file dim.hpp.
◆ nooverlap() [1/2]
ExecStatus Gecode::Int::NoOverlap::FixDim::nooverlap |
( |
Space & | home, |
|
|
int | n, |
|
|
int | m ) |
|
inlineprotected |
Dimension must not overlap with coordinates n to m.
Definition at line 75 of file dim.hpp.
◆ ssc() [2/2]
int Gecode::Int::NoOverlap::FixDim::ssc |
( |
void | | ) |
const |
|
inline |
Return smallest start coordinate.
Definition at line 48 of file dim.hpp.
◆ lsc()
int Gecode::Int::NoOverlap::FixDim::lsc |
( |
void | | ) |
const |
|
inline |
Return largest start coordinate.
Definition at line 52 of file dim.hpp.
◆ sec()
int Gecode::Int::NoOverlap::FixDim::sec |
( |
void | | ) |
const |
|
inline |
Return smallest end coordinate.
Definition at line 56 of file dim.hpp.
◆ lec() [2/2]
int Gecode::Int::NoOverlap::FixDim::lec |
( |
void | | ) |
const |
|
inline |
Return largest end coordinate.
Definition at line 60 of file dim.hpp.
◆ nooverlap() [2/2]
Dimension must not overlap with d.
Definition at line 83 of file dim.hpp.
◆ update()
void Gecode::Int::NoOverlap::FixDim::update |
( |
Space & | home, |
|
|
FixDim & | d ) |
|
inline |
Update dimension during cloning.
Definition at line 95 of file dim.hpp.
◆ subscribe()
void Gecode::Int::NoOverlap::FixDim::subscribe |
( |
Space & | home, |
|
|
Propagator & | p ) |
|
inline |
Subscribe propagator p to dimension.
Definition at line 101 of file dim.hpp.
◆ cancel()
void Gecode::Int::NoOverlap::FixDim::cancel |
( |
Space & | home, |
|
|
Propagator & | p ) |
|
inline |
Cancel propagator p from dimension.
Definition at line 105 of file dim.hpp.
◆ reschedule()
void Gecode::Int::NoOverlap::FixDim::reschedule |
( |
Space & | home, |
|
|
Propagator & | p ) |
|
inline |
Schedule propagator p.
Definition at line 109 of file dim.hpp.
IntView Gecode::Int::NoOverlap::FixDim::c |
|
protected |
int Gecode::Int::NoOverlap::FixDim::s |
|
protected |
The documentation for this class was generated from the following files: