38 #ifndef __GECODE_INT_NO_OVERLAP_HH__ 39 #define __GECODE_INT_NO_OVERLAP_HH__ 48 namespace Gecode {
namespace Int {
namespace NoOverlap {
140 namespace Gecode {
namespace Int {
namespace NoOverlap {
145 template<
class Dim,
int n>
152 const Dim& operator [](
int i)
const;
154 Dim& operator [](
int i);
156 static int dim(
void);
159 bool mandatory(
void)
const;
163 bool excluded(
void)
const;
188 template<
class Dim,
int n>
198 bool mandatory(
void)
const;
202 bool excluded(
void)
const;
220 namespace Gecode {
namespace Int {
namespace NoOverlap {
250 virtual size_t dispose(
Space& home);
277 virtual size_t dispose(
Space& home);
306 virtual size_t dispose(
Space& home);
void subscribe(Space &home, Propagator &p)
Subscribe propagator p to dimension.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
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.
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.
Integer view for integer variables.
struct Gecode::@519::NNF::@60::@61 b
For binary nodes (and, or, eqv)
void update(Space &home, bool share, FixDim &d)
Update dimension during cloning.
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
void cancel(Space &home, Propagator &p)
Cancel propagator p from dimension.
Boolean view for Boolean variables.