Dip-All  0.91.0
GAP_DecompParam.h
Go to the documentation of this file.
1 //===========================================================================//
2 // This file is part of the Decomp Solver Framework. //
3 // //
4 // Decomp is distributed under the Common Public License as part of the //
5 // COIN-OR repository (http://www.coin-or.org). //
6 // //
7 // Author: Matthew Galati, Lehigh University //
8 // //
9 // Copyright (C) 2002-2015, Lehigh University, Matthew Galati, and Ted Ralphs//
10 // All Rights Reserved. //
11 //===========================================================================//
12 
13 #ifndef GAP_DECOMP_PARAM_INCLUDED
14 #define GAP_DECOMP_PARAM_INCLUDED
15 
16 //===========================================================================//
17 #include "UtilParameters.h"
18 
19 //===========================================================================//
27 //===========================================================================//
29 public:
30  int LogLevel;
31  string DataDir;
32  string Instance;
34 
35 public:
36  void getSettings(UtilParameters& utilParam) {
37  static const char* common = "GAP";
38  LogLevel = utilParam.GetSetting("LogLevel", 0, common);
39  DataDir = utilParam.GetSetting("DataDir", "", common);
40  Instance = utilParam.GetSetting("Instance", "", common);
41  UsePisinger = utilParam.GetSetting("UsePisinger", true, common);
42  }
43 
44  void dumpSettings(ostream* os = &cout) {
45  static const char* common = "GAP";
46  (*os) << "\n=====================================================\n"
47  << "GAP_DECOMP PARAMETER SETTINGS \n";
48  (*os) << common << ": LogLevel : " << LogLevel << endl;
49  (*os) << common << ": DataDir : " << DataDir << endl;
50  (*os) << common << ": Instance : " << Instance << endl;
51  (*os) << common << ": UsePisinger : " << UsePisinger << endl;
52  (*os) << "=====================================================\n";
53  }
54 
55 public:
57  LogLevel (0 ),
58  DataDir (""),
59  Instance (""),
60  UsePisinger(true) {
61  };
63 };
64 
65 #endif
string GetSetting(const char *name, const char *defaultValue, const char *section=NULL)
void dumpSettings(ostream *os=&cout)
void getSettings(UtilParameters &utilParam)