dfs-reco.hh
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef __GECODE_SEARCH_DFS_RECO_HH__
00023 #define __GECODE_SEARCH_DFS_RECO_HH__
00024
00025 #include "search.hh"
00026 #include "search/stack.hh"
00027
00028 namespace Gecode { namespace Search {
00029
00034 class DfsReCoEngine : public PlainEngine {
00035 private:
00036 ReCoStack ds;
00037 Space* cur;
00038 const unsigned int c_d;
00039 unsigned int d;
00040 public:
00041 DfsReCoEngine(Space*,unsigned int,unsigned int,size_t);
00042 virtual void reset(Space*);
00043 virtual size_t stacksize(void) const;
00044 virtual ~DfsReCoEngine(void);
00045 virtual Space* explore(void);
00046 };
00047
00048 }}
00049
00050 #include "search/dfs-reco.icc"
00051
00052 #endif
00053
00054