| 430 | |
| 431 | template<size_t s> |
| 432 | forceinline void |
| 433 | MemoryManager::fl_dispose(FreeList* f, FreeList* l) { |
| 434 | size_t i = sz2i(s); |
| 435 | #ifdef GECODE_AUDIT |
| 436 | FreeList* cur = f; |
| 437 | while (cur != l) { |
| 438 | assert(cur->next()); |
| 439 | cur = cur->next(); |
| 440 | } |
| 441 | #endif |
| 442 | l->next(fl[i]); fl[i] = f; |
| 443 | } |
| 444 | |
| 445 | template<size_t sz> |
| 446 | void |