Dip-All
0.91.0
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
home
coin
svn-release
Dip-0.91.5
Dip
examples
GAP
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
//===========================================================================//
28
class
GAP_DecompParam
{
29
public
:
30
int
LogLevel
;
31
string
DataDir
;
32
string
Instance
;
33
bool
UsePisinger
;
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
:
56
GAP_DecompParam
():
57
LogLevel
(0 ),
58
DataDir
(
""
),
59
Instance
(
""
),
60
UsePisinger
(true) {
61
};
62
~GAP_DecompParam
() {};
63
};
64
65
#endif
UtilParameters
Definition:
UtilParameters.h:30
GAP_DecompParam::GAP_DecompParam
GAP_DecompParam()
Definition:
GAP_DecompParam.h:56
GAP_DecompParam::Instance
string Instance
Definition:
GAP_DecompParam.h:32
UtilParameters::GetSetting
string GetSetting(const char *name, const char *defaultValue, const char *section=NULL)
GAP_DecompParam::UsePisinger
bool UsePisinger
Definition:
GAP_DecompParam.h:33
GAP_DecompParam
Definition:
GAP_DecompParam.h:28
GAP_DecompParam::~GAP_DecompParam
~GAP_DecompParam()
Definition:
GAP_DecompParam.h:62
GAP_DecompParam::LogLevel
int LogLevel
Definition:
GAP_DecompParam.h:30
GAP_DecompParam::dumpSettings
void dumpSettings(ostream *os=&cout)
Definition:
GAP_DecompParam.h:44
GAP_DecompParam::DataDir
string DataDir
Definition:
GAP_DecompParam.h:31
GAP_DecompParam::getSettings
void getSettings(UtilParameters &utilParam)
Definition:
GAP_DecompParam.h:36
Generated by
1.8.5