memory-manager.cc
Go to the documentation of this file.00001 /* 00002 * Main authors: 00003 * Christian Schulte <schulte@gecode.org> 00004 * 00005 * Contributing authors: 00006 * <duchier@gecode.org> 00007 * 00008 * Copyright: 00009 * Christian Schulte, 2002 00010 * Denys Duchier, 2002 00011 * 00012 * Last modified: 00013 * $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $ 00014 * $Revision: 3188 $ 00015 * 00016 * This file is part of Gecode, the generic constraint 00017 * development environment: 00018 * http://www.gecode.org 00019 * 00020 * See the file "LICENSE" for information on usage and 00021 * redistribution of this file, and for a 00022 * DISCLAIMER OF ALL WARRANTIES. 00023 * 00024 */ 00025 00026 #include "gecode/kernel.hh" 00027 00028 namespace Gecode { 00029 00030 void 00031 MemoryManager::alloc_refill(size_t sz) { 00032 // Try to reuse the not used memory 00033 reuse(start,lsz); 00034 alloc_fill(sz); 00035 } 00036 00037 } 00038 00039 // STATISTICS: kernel-core 00040 00041