84 if (d.sec() >
lsc()) {
122 :
c0(c00),
s(s0),
c1(c10) {}
163 if (d.sec() >
lsc()) {
176 c0.update(home,d.c0);
178 c1.update(home,d.c1);
Integer view for integer variables.
void subscribe(Space &home, Propagator &p)
Subscribe propagator p to dimension.
void update(Space &home, FixDim &d)
Update dimension during cloning.
void reschedule(Space &home, Propagator &p)
Schedule propagator p.
int lsc(void) const
Return largest start coordinate.
FixDim(void)
Default constructor.
int ssc(void) const
Return smallest start coordinate.
int sec(void) const
Return smallest end coordinate.
ExecStatus nooverlap(Space &home, int n, int m)
Dimension must not overlap with coordinates n to m.
int lec(void) const
Return largest end coordinate.
void cancel(Space &home, Propagator &p)
Cancel propagator p from dimension.
int ssc(void) const
Return smallest start coordinate.
int lsc(void) const
Return largest start coordinate.
IntView c1
End coordinate.
void subscribe(Space &home, Propagator &p)
Subscribe propagator p to dimension.
int sec(void) const
Return smallest end coordinate.
FlexDim(void)
Default constructor.
ExecStatus nooverlap(Space &home, int n, int m)
Dimension must not overlap with coordinates n to m.
IntView c0
Start coordinate.
void reschedule(Space &home, Propagator &p)
Schedule propagator p.
void cancel(Space &home, Propagator &p)
Cancel propagator p from dimension.
void update(Space &home, FlexDim &d)
Update dimension during cloning.
int lec(void) const
Return largest end coordinate.
Range iterator for singleton range.
Base-class for propagators.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
@ ES_OK
Execution is okay.