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