dfs-copy.hh
Go to the documentation of this file.00001 /* 00002 * Main authors: 00003 * Christian Schulte <schulte@gecode.org> 00004 * 00005 * Copyright: 00006 * Christian Schulte, 2004 00007 * 00008 * Last modified: 00009 * $Date: 2005-08-09 21:44:53 +0200 (Tue, 09 Aug 2005) $ by $Author: schulte $ 00010 * $Revision: 2192 $ 00011 * 00012 * This file is part of Gecode, the generic constraint 00013 * development environment: 00014 * http://www.gecode.org 00015 * 00016 * See the file "LICENSE" for information on usage and 00017 * redistribution of this file, and for a 00018 * DISCLAIMER OF ALL WARRANTIES. 00019 * 00020 */ 00021 00022 #ifndef __GECODE_SEARCH_DFS_COPY_HH__ 00023 #define __GECODE_SEARCH_DFS_COPY_HH__ 00024 00025 #include "search.hh" 00026 #include "search/stack.hh" 00027 00028 namespace Gecode { namespace Search { 00029 00034 class DfsCopyEngine : public PlainEngine { 00035 private: 00036 CopyStack ds; 00037 Space* cur; 00038 public: 00039 DfsCopyEngine(Space*,size_t); 00040 virtual void reset(Space*); 00041 virtual ~DfsCopyEngine(void); 00042 virtual size_t stacksize(void) const; 00043 virtual Space* explore(void); 00044 }; 00045 00046 }} 00047 00048 #include "search/dfs-copy.icc" 00049 00050 #endif 00051 00052 // STATISTICS: search-any