_next | Gecode::FreeList | [protected] |
dispose(Space &home) | Gecode::Int::Extensional::Incremental::WorkEntry | [inline] |
FreeList(void) | Gecode::FreeList | [inline] |
FreeList(FreeList *n) | Gecode::FreeList | [inline] |
i | Gecode::Int::Extensional::Incremental::WorkEntry | |
n | Gecode::Int::Extensional::Incremental::WorkEntry | |
next(void) const | Gecode::Int::Extensional::Incremental::WorkEntry | [inline] |
next(WorkEntry *n) | Gecode::Int::Extensional::Incremental::WorkEntry | [inline] |
Gecode::FreeList::next(FreeList *n) | Gecode::FreeList | [inline] |
nextRef(void) | Gecode::FreeList | [inline] |
operator delete(void *p) | Gecode::Int::Extensional::Incremental::WorkEntry | [inline, static] |
operator delete(void *p, Space &home) | Gecode::Int::Extensional::Incremental::WorkEntry | [inline, static] |
operator new(size_t s, Space &home) | Gecode::Int::Extensional::Incremental::WorkEntry | [inline, static] |
WorkEntry(int i, int n, WorkEntry *ne) | Gecode::Int::Extensional::Incremental::WorkEntry | [inline] |