38 namespace Gecode {
namespace Int {
namespace NoOverlap {
126 : 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.
void reschedule(Space &home, Propagator &p)
Schedule propagator p.
int ssc(void) const
Return smallest start coordinate.
ExecStatus nooverlap(Space &home, int n, int m)
Dimension must not overlap with coordinates n to m.
Base-class for propagators.
void reschedule(Space &home, Propagator &p, PropCond pc)
Re-schedule propagator p with propagation condition pc.
ModEvent minus_r(Space &home, I &i, bool depends=true)
Remove from domain the ranges described by i.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to view.
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.
int lec(void) const
Return largest end coordinate.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
IntView c0
Start coordinate.
int min(void) const
Return minimum of domain.
void update(Space &home, bool share, VarImpView< Var > &y)
Update this view to be a clone of view y.
int sec(void) const
Return smallest end coordinate.
#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.
Post propagator for SetVar SetOpType SetVar SetRelType r
Integer view for integer variables.
void update(Space &home, bool share, FixDim &d)
Update dimension during cloning.
void reschedule(Space &home, Propagator &p)
Schedule propagator p.
int lsc(void) const
Return largest 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.
int sec(void) const
Return smallest end coordinate.
Gecode toplevel namespace
int max(void) const
Return maximum of domain.
ExecStatus ssc(Space &home, int n)
Modify smallest start coordinate.
int lec(void) const
Return largest end coordinate.
int lsc(void) const
Return largest start coordinate.
int ssc(void) const
Return smallest start coordinate.
void cancel(Space &home, Propagator &p)
Cancel propagator p from dimension.
void cancel(Space &home, Propagator &p)
Cancel propagator p from dimension.