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.
Definition at line 390 of file extensional.hh.
Gecode::Int::Extensional::Incremental< View >::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< View >::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< View >::WorkEntry::next | ( | WorkEntry * | n | ) | [inline] |
Set next work entry.
Definition at line 142 of file incremental.hpp.
void Gecode::Int::Extensional::Incremental< View >::WorkEntry::dispose | ( | Space & | home | ) | [inline] |
Free memory for this element.
Definition at line 164 of file incremental.hpp.
void * Gecode::Int::Extensional::Incremental< View >::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< View >::WorkEntry::operator delete | ( | void * | p | ) | [inline, static] |
No-op (for exceptions)
Definition at line 148 of file incremental.hpp.
void Gecode::Int::Extensional::Incremental< View >::WorkEntry::operator delete | ( | void * | p, |
Space & | home | ||
) | [inline, static] |
No-op (use dispose instead)
Definition at line 152 of file incremental.hpp.
int Gecode::Int::Extensional::Incremental< View >::WorkEntry::i |
Position of view in view array.
Definition at line 393 of file extensional.hh.
int Gecode::Int::Extensional::Incremental< View >::WorkEntry::n |
Value.
Definition at line 395 of file extensional.hh.