34namespace Gecode {
namespace Int {
namespace NoOverlap {
84 if (d.sec() >
lsc()) {
122 : c0(c00), s(s0), c1(c10) {}
163 if (d.sec() >
lsc()) {
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
Integer view for integer variables.
int min(void) const
Return minimum of domain.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
ModEvent minus_r(Space &home, I &i, bool depends=true)
Remove from domain the ranges described by i.
int max(void) const
Return maximum of domain.
Dimension combining coordinate and integer size information.
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.
Dimension combining coordinate and integer view size information.
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.
void update(Space &home, VarImpView< Var > &y)
Update this view to be a clone of view y.
void cancel(Space &home, Propagator &p, PropCond pc)
Cancel subscription of propagator p with propagation condition pc to view.
void reschedule(Space &home, Propagator &p, PropCond pc)
Re-schedule propagator p with propagation condition pc.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to view.
#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.