38 #ifndef __GECODE_INT_NO_OVERLAP_HH__ 39 #define __GECODE_INT_NO_OVERLAP_HH__ 48 namespace Gecode {
namespace Int {
namespace NoOverlap {
144 namespace Gecode {
namespace Int {
namespace NoOverlap {
149 template<
class Dim,
int n>
156 const Dim& operator [](
int i)
const;
158 Dim& operator [](
int i);
160 static int dim(
void);
163 bool mandatory(
void)
const;
167 bool excluded(
void)
const;
194 template<
class Dim,
int n>
204 bool mandatory(
void)
const;
208 bool excluded(
void)
const;
228 namespace Gecode {
namespace Int {
namespace NoOverlap {
260 virtual size_t dispose(
Space& home);
287 virtual size_t dispose(
Space& home);
316 virtual size_t dispose(
Space& home);
void subscribe(Space &home, Propagator &p)
Subscribe propagator p to dimension.
int ssc(void) const
Return smallest start coordinate.
bool overlap(const FloatVal &x, const FloatVal &y)
ExecStatus nooverlap(Space &home, int n, int m)
Dimension must not overlap with coordinates n to m.
Base-class for propagators.
Type * partition(Type *l, Type *r, Less &less)
Standard partioning.
No-overlap propagator for mandatory boxes.
Base-class for both propagators and branchers.
int m
Number of optional boxes: b[n] ... b[n+m-1].
ModEvent exclude(Space &home, View &x, int s)
Prune view x to exclude all values from s.
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
FixDim(void)
Default constructor.
int lec(void) const
Return largest end coordinate.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
IntView c0
Start coordinate.
Dimension combining coordinate and integer view size information.
IntView c1
End coordinate.
No-overlap propagator for optional boxes.
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.
Base class for no-overlap propagator.
int lsc(void) const
Return largest start coordinate.
int n
Number of mandatory boxes: b[0] ... b[n-1].
int sec(void) const
Return smallest end coordinate.
BoolView o
Whether box is optional or not.
Gecode toplevel namespace
bool optional(const BoolVarArgs &m)
int ModEventDelta
Modification event deltas.
Home class for posting propagators
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
void cancel(Space &home, Propagator &p)
Cancel propagator p from dimension.
Boolean view for Boolean variables.