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
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 #include <gecode/search/support.hh>
00039 #include <gecode/search/meta/rbs.hh>
00040
00041 namespace Gecode {
00042
00043 namespace Search {
00044 GECODE_SEARCH_EXPORT Engine* rbs(Space* s,
00045 MetaStop* stop,
00046 Engine* e,
00047 const Options& o);
00048 }
00049
00050 template<template<class> class E, class T>
00051 forceinline
00052 RBS<E,T>::RBS(T* s, const Search::Options& m_opt) {
00053 if (m_opt.cutoff == NULL)
00054 throw Search::UninitializedCutoff("RBS::RBS");
00055 Search::Options e_opt(m_opt);
00056 e_opt.clone = true;
00057 Search::MetaStop* ms = new Search::MetaStop(m_opt.stop);
00058 e_opt.stop = ms;
00059 Space* master;
00060 if (m_opt.clone) {
00061 if (s->status(ms->m_stat) == SS_FAILED) {
00062 ms->m_stat.fail++;
00063 master = NULL;
00064 } else {
00065 master = s->clone();
00066 }
00067 } else {
00068 master = s;
00069 }
00070 E<T> engine(dynamic_cast<T*>(master),e_opt);
00071 EngineBase* eb = &engine;
00072 Search::Engine* ee = eb->e;
00073 eb->e = NULL;
00074 e = Search::rbs(master,ms,ee,m_opt);
00075 }
00076
00077 template<template<class> class E, class T>
00078 forceinline T*
00079 RBS<E,T>::next(void) {
00080 return dynamic_cast<T*>(e->next());
00081 }
00082
00083 template<template<class> class E, class T>
00084 forceinline Search::Statistics
00085 RBS<E,T>::statistics(void) const {
00086 return e->statistics();
00087 }
00088
00089 template<template<class> class E, class T>
00090 forceinline bool
00091 RBS<E,T>::stopped(void) const {
00092 return e->stopped();
00093 }
00094
00095
00096 template<template<class> class E, class T>
00097 forceinline T*
00098 rbs(T* s, const Search::Options& o) {
00099 RBS<E,T> r(s,o);
00100 return r.next();
00101 }
00102
00103 }
00104
00105