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 <algorithm>
00039
00040 namespace Gecode { namespace Support {
00041
00047 template<class T, class A>
00048 class DynamicArray {
00049 private:
00051 A& a;
00053 int n;
00055 T* x;
00057 void resize(int n);
00058 public:
00060 DynamicArray(A& a0, int n = 32);
00062 DynamicArray(A& a0, unsigned int n);
00064 DynamicArray(const DynamicArray<T,A>& da);
00066 ~DynamicArray(void);
00067
00069 const DynamicArray<T,A>& operator =(const DynamicArray<T,A>& da);
00070
00072 T& operator [](int i);
00074 T& operator [](unsigned int i);
00076 const T& operator [](int i) const;
00078 const T& operator [](unsigned int i) const;
00079
00081 operator T*(void);
00082 };
00083
00084
00085 template<class T, class A>
00086 forceinline
00087 DynamicArray<T,A>::DynamicArray(A& a0, int n0)
00088 : a(a0), n(n0), x(a.template alloc<T>(n)) {}
00089
00090 template<class T, class A>
00091 forceinline
00092 DynamicArray<T,A>::DynamicArray(A& a0, unsigned int n0)
00093 : a(a0), n(static_cast<int>(n0)), x(a.template alloc<T>(n)) {}
00094
00095 template<class T, class A>
00096 forceinline
00097 DynamicArray<T,A>::DynamicArray(const DynamicArray<T,A>& da)
00098 : a(da.a), n(da.n), x(a.template alloc<T>(n)) {
00099 (void) heap.copy<T>(x,da.x,n);
00100 }
00101
00102 template<class T, class A>
00103 forceinline
00104 DynamicArray<T,A>::~DynamicArray(void) {
00105 a.free(x,n);
00106 }
00107
00108 template<class T, class A>
00109 forceinline const DynamicArray<T,A>&
00110 DynamicArray<T,A>::operator =(const DynamicArray<T,A>& da) {
00111 if (this != &da) {
00112 if (n < da.n) {
00113 a.free(x,n); n = da.n; x = a.template alloc<T>(n);
00114 }
00115 (void) heap.copy(x,da.x,n);
00116 }
00117 return *this;
00118 }
00119
00120 template<class T, class A>
00121 void
00122 DynamicArray<T,A>::resize(int i) {
00123 int m = std::max(i+1, (3*n)/2);
00124 x = a.realloc(x,n,m);
00125 n = m;
00126 }
00127
00128 template<class T, class A>
00129 forceinline T&
00130 DynamicArray<T,A>::operator [](int i) {
00131 if (i >= n) resize(i);
00132 assert(n > i);
00133 return x[i];
00134 }
00135
00136 template<class T, class A>
00137 forceinline T&
00138 DynamicArray<T,A>::operator [](unsigned int i) {
00139 return operator [](static_cast<int>(i));
00140 }
00141
00142 template<class T, class A>
00143 forceinline const T&
00144 DynamicArray<T,A>::operator [](int i) const {
00145 assert(n > i);
00146 return x[i];
00147 }
00148
00149 template<class T, class A>
00150 forceinline const T&
00151 DynamicArray<T,A>::operator [](unsigned int i) const {
00152 return operator [](static_cast<int>(i));
00153 }
00154
00155 template<class T, class A>
00156 forceinline
00157 DynamicArray<T,A>::operator T*(void) {
00158 return x;
00159 }
00160
00161 }}
00162
00163