38 namespace Gecode {
namespace Int {
namespace NoOverlap {
122 : c0(c00), s(s0), c1(c10) {}
void subscribe(Space &home, Propagator &p)
Subscribe propagator p to dimension.
void cancel(Space &home, Propagator &p, PropCond pc)
Cancel subscription of propagator p with propagation condition pc to view.
void subscribe(Space &home, Propagator &p)
Subscribe propagator p to dimension.
Range iterator for singleton range.
ExecStatus nooverlap(Space &home, int n, int m)
Dimension must not overlap with coordinates n to m.
Base-class for propagators.
ModEvent minus_r(Space &home, I &i, bool depends=true)
Remove from domain the ranges described by i.
int ssc(void) const
Return smallest start coordinate.
int max(void) const
Return maximum of domain.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
Gecode::FloatVal c(-8, 8)
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to view.
int lsc(void) const
Return largest start coordinate.
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
FlexDim(void)
Default constructor.
FixDim(void)
Default constructor.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
ExecStatus nooverlap(Space &home, int n, int m)
Dimension must not overlap with coordinates n to m.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
int min(void) const
Return minimum of domain.
IntView c0
Start coordinate.
void update(Space &home, bool share, VarImpView< Var > &y)
Update this view to be a clone of view y.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Dimension combining coordinate and integer view size information.
void update(Space &home, bool share, FlexDim &d)
Update dimension during cloning.
IntView c1
End coordinate.
Dimension combining coordinate and integer size information.
Integer view for integer variables.
void update(Space &home, bool share, FixDim &d)
Update dimension during cloning.
int lsc(void) const
Return largest start coordinate.
int ssc(void) const
Return smallest start coordinate.
ExecStatus ssc(Space &home, int n)
Modify smallest start coordinate.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Gecode toplevel namespace
int sec(void) const
Return smallest end coordinate.
ExecStatus ssc(Space &home, int n)
Modify smallest start coordinate.
int sec(void) const
Return smallest end coordinate.
int lec(void) const
Return largest end coordinate.
int lec(void) const
Return largest end coordinate.
void cancel(Space &home, Propagator &p)
Cancel propagator p from dimension.
void cancel(Space &home, Propagator &p)
Cancel propagator p from dimension.