bab.icc
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 namespace Gecode {
00027
00028 namespace Search {
00029
00030
00031
00032
00033
00034
00035 forceinline
00036 BabEngine::BabEngine(size_t sz)
00037 : FullStatistics(sz) {}
00038
00039 forceinline void*
00040 BabEngine::operator new(size_t s) {
00041 return Memory::malloc(s);
00042 }
00043
00044 forceinline void
00045 BabEngine::operator delete(void* p, size_t) {
00046 Memory::free(p);
00047 }
00048
00049 forceinline
00050 BabEngine::~BabEngine(void) {
00051 }
00052
00053 }
00054
00055
00056
00057
00058
00059
00060 template <class T>
00061 forceinline
00062 BAB<T>::BAB(T* s, unsigned int c_d, unsigned int a_d)
00063 : Search::BAB(s,c_d,a_d,sizeof(T)) {}
00064
00065 template <class T>
00066 forceinline T*
00067 BAB<T>::next(void) {
00068 Space *s1, *s2;
00069 while (!e->explore(s1,s2))
00070 static_cast<T*>(s1)->constrain(static_cast<T*>(s2));
00071 return static_cast<T*>(s1);
00072 }
00073
00074
00075
00076
00077
00078
00079
00080
00081
00082 template <class T>
00083 T*
00084 bab(T* s, unsigned int c_d, unsigned int a_d) {
00085 BAB<T> b(s,c_d,a_d);
00086 T* l = NULL;
00087 while (T* n = b.next()) {
00088 delete l; l = n;
00089 }
00090 return l;
00091 }
00092
00093 }
00094
00095