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.
void update(Space &home, FixDim &d)
Update dimension during cloning.
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.
Post propagator for SetVar SetOpType SetVar SetRelType r
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Integer view for integer variables.
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.