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