00001 #ifndef CONFIG_H 00002 #define CONFIG_H 00003 00004 #include <istream> 00005 #include <ostream> 00006 00007 using namespace std; 00008 00009 class Configuration 00010 { 00011 public: 00012 00013 enum Write_Mode 00014 { 00015 NORMAL, 00016 LATEX, 00017 XML, 00018 HTML 00019 }; 00020 00021 Write_Mode writeMode; 00022 istream *inputdatas; 00023 bool pauseEveryStep; 00024 bool printRule; 00025 bool NcanbeZero; 00026 bool fileInput; 00027 bool presBurgerVerif; 00028 bool disjonction; 00029 int beep; 00030 static void printOptionInfo(); 00031 static void printConsol(); 00032 Configuration(int argc, char *argv[]); 00033 ~Configuration(); 00034 }; 00035 00036 extern ostream *mycout; 00037 extern Configuration *globconfig; 00038 00039 #endif 00040