
Entry for storing support. More...
#include <extensional.hh>
Public Attributes | |
| Tuple | t |
| Supporting Tuple. More... | |
Linkage access | |
| SupportEntry * | next (void) const |
| Return next support entry. More... | |
| SupportEntry ** | nextRef (void) |
| Return reference to field for next support entry. More... | |
Constructors | |
| SupportEntry (Tuple t) | |
| Initialize with Tuple t. More... | |
| SupportEntry (Tuple t, SupportEntry *n) | |
| Initialize with Tuple t and next entry n. More... | |
Memory management | |
| void | dispose (Space &home, SupportEntry *l) |
| Free memory for all elements between this and l (inclusive) More... | |
| void | dispose (Space &home) |
| Free memory for this element. 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 | |
Public Member Functions inherited from Gecode::FreeList | |
| 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... | |
Protected Attributes inherited from Gecode::FreeList | |
| FreeList * | _next |
| Pointer to next freelist object. More... | |
Entry for storing support.
Definition at line 353 of file extensional.hh.
|
inline |
Initialize with Tuple t.
Definition at line 76 of file incremental.hpp.
|
inline |
Initialize with Tuple t and next entry n.
Definition at line 81 of file incremental.hpp.
|
inline |
Return next support entry.
Definition at line 86 of file incremental.hpp.
|
inline |
Return reference to field for next support entry.
Definition at line 92 of file incremental.hpp.
|
inline |
Free memory for all elements between this and l (inclusive)
Definition at line 120 of file incremental.hpp.
|
inline |
Free memory for this element.
Definition at line 114 of file incremental.hpp.
|
inlinestatic |
Allocate memory from space.
Definition at line 108 of file incremental.hpp.
|
inlinestatic |
No-op (for exceptions)
Definition at line 98 of file incremental.hpp.
|
inlinestatic |
No-op (use dispose instead)
Definition at line 102 of file incremental.hpp.
| Tuple Gecode::Int::Extensional::Incremental< View >::SupportEntry::t |
Supporting Tuple.
Definition at line 356 of file extensional.hh.