DeductivePool.h Source File

00001 // See the file LICENSE in the some directory as this file for legal
00002 // notices about this software.   
00003 // $Id: DeductivePool_8h-source.html,v 1.8 2001/10/10 20:40:58 sandro Exp $
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     // STANDARD MEMBER FUNCTIONS
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     //std::ostream& print_to(std::ostream& stream) const;   
00033     ~DeductivePool();       
00034 
00035     // CLASS-SPECIFIC PUBLIC INTERFACE
00036 
00037 private:
00038 
00039 
00040 };     
00041 
00042 
00043 STANDARD_EXTERNAL(DeductivePool)
00044 
00045 #endif   /* DEDUCTIVEPOOL */  // -*-C++-*-