GAP_DecompParam.h
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013 #ifndef GAP_DECOMP_PARAM_INCLUDED
00014 #define GAP_DECOMP_PARAM_INCLUDED
00015
00016
00017 #include "UtilParameters.h"
00018
00019
00027
00028 class GAP_DecompParam {
00029 public:
00030 int LogLevel;
00031 string DataDir;
00032 string Instance;
00033 bool UsePisinger;
00034
00035 public:
00036 void getSettings(UtilParameters& utilParam) {
00037 static const char* common = "GAP";
00038 LogLevel = utilParam.GetSetting("LogLevel", 0, common);
00039 DataDir = utilParam.GetSetting("DataDir", "", common);
00040 Instance = utilParam.GetSetting("Instance", "", common);
00041 UsePisinger = utilParam.GetSetting("UsePisinger", true, common);
00042 }
00043
00044 void dumpSettings(ostream* os = &cout) {
00045 static const char* common = "GAP";
00046 (*os) << "\n=====================================================\n"
00047 << "GAP_DECOMP PARAMETER SETTINGS \n";
00048 (*os) << common << ": LogLevel : " << LogLevel << endl;
00049 (*os) << common << ": DataDir : " << DataDir << endl;
00050 (*os) << common << ": Instance : " << Instance << endl;
00051 (*os) << common << ": UsePisinger : " << UsePisinger << endl;
00052 (*os) << "=====================================================\n";
00053 }
00054
00055 public:
00056 GAP_DecompParam():
00057 LogLevel (0 ),
00058 DataDir (""),
00059 Instance (""),
00060 UsePisinger(true) {
00061 };
00062 ~GAP_DecompParam() {};
00063 };
00064
00065 #endif