00001
00002
00003
00004 #ifndef DEV_W3_ORG__2001_BLINDFOLD_SRC_ONDISKPOOL_H
00005 #define DEV_W3_ORG__2001_BLINDFOLD_SRC_ONDISKPOOL_H
00006 #include "config.h"
00007
00008
00009 #include "Pool.h"
00010
00017 class OnDiskPool : public Pool {
00018
00019 public:
00020
00021
00022 OnDiskPool();
00023 OnDiskPool(const OnDiskPool& other);
00024 const OnDiskPool& operator=(const OnDiskPool& other);
00025 bool operator==(const OnDiskPool& other) const;
00026 bool operator<(const OnDiskPool& other) const;
00027 size_t hash() const;
00028 friend std::ostream& operator<<(std::ostream& s, const OnDiskPool& me);
00029
00030 virtual ~OnDiskPool();
00031
00032
00033
00034
00035 private:
00036
00037
00038 };
00039
00040
00041 STANDARD_EXTERNAL(OnDiskPool)
00042
00043 #endif