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