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