bab-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_BAB_RECO_HH__
00023 #define __GECODE_SEARCH_BAB_RECO_HH__
00024
00025 #include "search.hh"
00026 #include "search/stack.hh"
00027
00028 namespace Gecode { namespace Search {
00029
00034 class BabReCoEngine : public BabEngine {
00035 private:
00036 ReCoStack ds;
00037 unsigned int mark;
00038 Space* cur;
00039 Space* best;
00040 const unsigned int c_d;
00041 unsigned int d;
00042 size_t sz_space;
00043 size_t sz_cur;
00044 size_t sz;
00045 public:
00046 BabReCoEngine(Space*,unsigned int,unsigned int,size_t);
00047 virtual size_t stacksize(void) const;
00048 virtual ~BabReCoEngine(void);
00049 virtual bool explore(Space*&,Space*&);
00050 };
00051
00052 }}
00053
00054 #include "search/bab-reco.icc"
00055
00056 #endif
00057
00058