Positions in view array that have to be propagated. More...
#include <rel.hh>
Public Attributes | |
int | p |
Position of view in view array. | |
Constructor | |
Pos (int p, Pos *n) | |
Initialize with position p and next position n. | |
Linkage access | |
Pos * | next (void) const |
Return next position. | |
Memory management | |
void | dispose (Space &home) |
Free memory for this position. | |
static void * | operator new (size_t s, Space &home) |
Allocate memory from space. | |
static void | operator delete (void *p) |
No-op (for exceptions) | |
static void | operator delete (void *p, Space &home) |
No-op (use dispose instead) |
Positions in view array that have to be propagated.
Gecode::Int::Rel::NaryLqLe::Pos::Pos | ( | int | p, |
Pos * | n | ||
) | [inline] |
Return next position.
Reimplemented from Gecode::FreeList.
void Gecode::Int::Rel::NaryLqLe::Pos::dispose | ( | Space & | home | ) | [inline] |
void * Gecode::Int::Rel::NaryLqLe::Pos::operator new | ( | size_t | s, |
Space & | home | ||
) | [inline, static] |
void Gecode::Int::Rel::NaryLqLe::Pos::operator delete | ( | void * | p | ) | [inline, static] |
void Gecode::Int::Rel::NaryLqLe::Pos::operator delete | ( | void * | p, |
Space & | home | ||
) | [inline, static] |