75 unsigned int width(
void)
const;
99 static void*
operator new(
size_t s,
Space& home);
101 static void*
operator new(
size_t s,
void*
p);
103 static void operator delete(
void*);
105 static void operator delete(
void*,
Space& home);
107 static void operator delete(
void*,
void*);
151 return static_cast<unsigned int>(
_max -
_min + 1);
156 RangeList::operator
delete(
void*) {}
159 RangeList::operator
delete(
void*,
Space&) {
164 RangeList::operator
delete(
void*,
void*) {
169 RangeList::operator
new(size_t,
Space& home) {
170 return home.fl_alloc<
sizeof(
RangeList)>();
174 RangeList::operator
new(size_t,
void*
p) {
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
FreeList * next(void) const
Return next freelist object.
int min(void) const
Return minimum.
int max(void) const
Return maximum.
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
RangeList * next(void) const
Return next element.
int _max
Maximum of range.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Base-class for freelist-managed objects.
void fl_dispose(FreeList *f, FreeList *l)
Return freelist-managed memory to freelist.
void dispose(Space &home, RangeList *l)
Free memory for all elements between this and l (inclusive)
Lists of ranges (intervals)
Gecode toplevel namespace
int _min
Minimum of range.
#define GECODE_NEVER
Assert that this command is never executed.
unsigned int width(void) const
Return width (distance between maximum and minimum)
RangeList(void)
Default constructor (noop)