00001 00002 # ifndef Strategy_h 00003 # define Strategy_h Strategy_h 00004 00005 # include "Root.h" // parent 00006 00007 namespace Conjecture { 00008 00021 00022 class Strategy : public Root { 00023 public: 00024 // Constructors/Destructors 00025 Strategy(); 00026 00027 // Accessors 00028 00029 // Input/Output 00030 00031 // Miscellaneous 00032 00033 protected: 00034 // Accessors 00035 00036 // Methods 00037 00038 private: 00039 // Accessors 00040 00041 // Methods 00042 00043 // State 00044 }; 00045 } 00046 00047 # endif // Strategy_h 00048