static-stack.hpp
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 namespace Gecode { namespace Support {
00039
00045 template<class T, class A>
00046 class StaticStack {
00047 private:
00049 A& a;
00051 int n;
00053 unsigned int tos;
00055 T* stack;
00056 public:
00058 StaticStack(A& a, int n);
00060 ~StaticStack(void);
00061
00063 void reset(void);
00065 bool empty(void) const;
00067 int entries(void) const;
00068
00070 T pop(void);
00072 T& top(void) const;
00074 T& last(void) const;
00076 void push(const T& x);
00077
00078 private:
00080 static void* operator new(size_t s) throw() { (void) s; return NULL; }
00082 static void operator delete(void* p) { (void) p; };
00084 StaticStack(const StaticStack& s) : a(s.a) {}
00086 const StaticStack& operator =(const StaticStack&) { return *this; }
00087 };
00088
00089 template<class T, class A>
00090 forceinline
00091 StaticStack<T,A>::StaticStack(A& a0, int n0)
00092 : a(a0), n(n0), tos(0), stack(a.template alloc<T>(n)) {}
00093
00094 template<class T, class A>
00095 forceinline
00096 StaticStack<T,A>::~StaticStack(void) {
00097 a.free(stack,n);
00098 }
00099
00100 template<class T, class A>
00101 forceinline bool
00102 StaticStack<T,A>::empty(void) const {
00103 return tos==0;
00104 }
00105
00106 template<class T, class A>
00107 forceinline int
00108 StaticStack<T,A>::entries(void) const {
00109 return tos;
00110 }
00111
00112 template<class T, class A>
00113 forceinline void
00114 StaticStack<T,A>::reset(void) {
00115 tos = 0;
00116 }
00117
00118 template<class T, class A>
00119 forceinline T
00120 StaticStack<T,A>::pop(void) {
00121 assert((tos > 0) && (tos <= static_cast<unsigned int>(n)));
00122 return stack[--tos];
00123 }
00124
00125 template<class T, class A>
00126 forceinline T&
00127 StaticStack<T,A>::top(void) const {
00128 assert((tos > 0) && (tos <= static_cast<unsigned int>(n)));
00129 return stack[tos-1];
00130 }
00131
00132 template<class T, class A>
00133 forceinline T&
00134 StaticStack<T,A>::last(void) const {
00135 assert((tos >= 0) && (tos < static_cast<unsigned int>(n)));
00136 return stack[tos];
00137 }
00138
00139 template<class T, class A>
00140 forceinline void
00141 StaticStack<T,A>::push(const T& x) {
00142 assert(tos < static_cast<unsigned int>(n));
00143 stack[tos++] = x;
00144 }
00145
00146 }}
00147
00148