13 #ifndef MILP_PARAM_INCLUDED
14 #define MILP_PARAM_INCLUDED
17 #include "UtilParameters.h"
34 static const char * common =
"MILP";
35 LogLevel = utilParam.
GetSetting(
"LogLevel", 0, common);
36 RandomSeed = utilParam.
GetSetting(
"RandomSeed", 1, common);
37 RelaxPercent = utilParam.
GetSetting(
"RelaxPercent", 0.333, common);
38 BestKnownLB = utilParam.
GetSetting(
"BestKnownLB", -1.e100, common);
39 BestKnownUB = utilParam.
GetSetting(
"BestKnownUB", 1.e100, common);
40 DataDir = utilParam.
GetSetting(
"DataDir",
"", common);
41 Instance = utilParam.
GetSetting(
"Instance",
"", common);
45 static const char * common =
"MILP";
46 (*os) <<
"\n=====================================================\n"
47 <<
"MILP_DECOMP PARAMETER SETTINGS \n";
48 (*os) << common <<
": LogLevel : " << LogLevel << endl;
49 (*os) << common <<
": RandomSeed : " << RandomSeed << endl;
50 (*os) << common <<
": RelaxPercent: " << RelaxPercent << endl;
51 (*os) << common <<
": BestKnownLB : " << BestKnownLB << endl;
52 (*os) << common <<
": BestKnownUB : " << BestKnownUB << endl;
53 (*os) << common <<
": DataDir : " << DataDir << endl;
54 (*os) << common <<
": Instance : " << Instance << endl;
55 (*os) <<
"\n=====================================================\n";
string GetSetting(const char *name, const char *defaultValue, const char *section=NULL)
void getSettings(UtilParameters &utilParam)
void dumpSettings(ostream *os=&cout)