Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Class Members | File Members

stringsholder.hpp

Go to the documentation of this file.
00001 #ifndef STRINGSHOLDER_H
00002 #define STRINGSHOLDER_H
00003 
00004 #include <vector>
00005 
00009 class StringsHolder
00010 {
00011 public:
00017    char *add(const char *text);
00018    
00023    void delete_strings();
00024    
00025 private:
00026    
00030    std::vector<char*> strings;
00031 };
00032 
00033 #endif

Generated on Mon Mar 21 00:07:37 2005 for Fixpoint Engine by  doxygen 1.3.9.1