Description of work to be done. More...
#include <extensional.hh>
Public Attributes | |
int | i |
Position of view in view array. | |
int | n |
Value. | |
Constructor | |
WorkEntry (int i, int n, WorkEntry *ne) | |
Initialize with position i, value n, and next entry ne. | |
Linkage access | |
WorkEntry * | next (void) const |
Return next work entry. | |
void | next (WorkEntry *n) |
Set next work entry. | |
Memory management | |
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) |
Description of work to be done.
Gecode::Int::Extensional::Incremental::WorkEntry::WorkEntry | ( | int | i, |
int | n, | ||
WorkEntry * | ne | ||
) | [inline] |
Initialize with position i, value n, and next entry ne.
Definition at line 131 of file incremental.hpp.
Incremental< View >::WorkEntry * Gecode::Int::Extensional::Incremental::WorkEntry::next | ( | void | ) | const [inline] |
Return next work entry.
Reimplemented from Gecode::FreeList.
Definition at line 136 of file incremental.hpp.
void Gecode::Int::Extensional::Incremental::WorkEntry::next | ( | WorkEntry * | n | ) | [inline] |
Set next work entry.
Definition at line 142 of file incremental.hpp.
void Gecode::Int::Extensional::Incremental::WorkEntry::dispose | ( | Space & | home | ) | [inline] |
Free memory for this element.
Definition at line 164 of file incremental.hpp.
void * Gecode::Int::Extensional::Incremental::WorkEntry::operator new | ( | size_t | s, |
Space & | home | ||
) | [inline, static] |
Allocate memory from space.
Definition at line 158 of file incremental.hpp.
void Gecode::Int::Extensional::Incremental::WorkEntry::operator delete | ( | void * | p | ) | [inline, static] |
No-op (for exceptions)
Definition at line 148 of file incremental.hpp.
void Gecode::Int::Extensional::Incremental::WorkEntry::operator delete | ( | void * | p, |
Space & | home | ||
) | [inline, static] |
No-op (use dispose instead)
Definition at line 152 of file incremental.hpp.
Position of view in view array.
Definition at line 393 of file extensional.hh.
Value.
Definition at line 395 of file extensional.hh.