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