
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) | |
Additional Inherited Members | |
Public Member Functions inherited from Gecode::FreeList | |
| FreeList (void) | |
| Use uninitialized. | |
| FreeList (FreeList *n) | |
| Initialize with next freelist object n. | |
| FreeList * | next (void) const |
| Return next freelist object. | |
| FreeList ** | nextRef (void) |
| Return pointer to next link in freelist object. | |
| void | next (FreeList *n) |
| Set next freelist object to n. | |
Protected Attributes inherited from Gecode::FreeList | |
| FreeList * | _next |
| Pointer to next freelist object. | |
Positions in view array that have to be propagated.
|
inline |
|
inline |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
| int Gecode::Int::Rel::NaryLqLe< View, o >::Pos::p |